Home
last modified time | relevance | path

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

/Linux-v4.19/drivers/cpufreq/
Dscpi-cpufreq.c77 struct device *tcpu_dev; in scpi_get_sharing_cpus() local
87 tcpu_dev = get_cpu_device(cpu); in scpi_get_sharing_cpus()
88 if (!tcpu_dev) in scpi_get_sharing_cpus()
91 tdomain = scpi_ops->device_domain_id(tcpu_dev); in scpi_get_sharing_cpus()
Dscmi-cpufreq.c84 struct device *tcpu_dev; in scmi_get_sharing_cpus() local
94 tcpu_dev = get_cpu_device(cpu); in scmi_get_sharing_cpus()
95 if (!tcpu_dev) in scmi_get_sharing_cpus()
98 tdomain = handle->perf_ops->device_domain_id(tcpu_dev); in scmi_get_sharing_cpus()