Searched refs:device_domain_id (Results 1 – 2 of 2) sorted by relevance
71 domain = scpi_ops->device_domain_id(cpu_dev); in scpi_get_sharing_cpus()83 tdomain = scpi_ops->device_domain_id(tcpu_dev); in scpi_get_sharing_cpus()
71 int (*device_domain_id)(struct device *); member