Home
last modified time | relevance | path

Searched refs:tcpu_dev (Results 1 – 2 of 2) sorted by relevance

/drivers/cpufreq/
A Dscpi-cpufreq.c69 struct device *tcpu_dev; in scpi_get_sharing_cpus() local
79 tcpu_dev = get_cpu_device(cpu); in scpi_get_sharing_cpus()
80 if (!tcpu_dev) in scpi_get_sharing_cpus()
83 tdomain = scpi_ops->device_domain_id(tcpu_dev); in scpi_get_sharing_cpus()
A Dscmi-cpufreq.c111 struct device *tcpu_dev; in scmi_get_sharing_cpus() local
117 tcpu_dev = get_cpu_device(cpu); in scmi_get_sharing_cpus()
118 if (!tcpu_dev) in scmi_get_sharing_cpus()
121 tdomain = scmi_cpu_domain_id(tcpu_dev); in scmi_get_sharing_cpus()

Completed in 5 milliseconds