Searched refs:tdomain (Results 1 – 2 of 2) sorted by relevance
68 int cpu, domain, tdomain; in scpi_get_sharing_cpus() local83 tdomain = scpi_ops->device_domain_id(tcpu_dev); in scpi_get_sharing_cpus()84 if (tdomain == domain) in scpi_get_sharing_cpus()
112 int cpu, tdomain; in scmi_get_sharing_cpus() local123 tdomain = scmi_cpu_domain_id(tcpu_dev); in scmi_get_sharing_cpus()124 if (tdomain == domain) in scmi_get_sharing_cpus()