Searched refs:tpmi_get_power_domain_id (Results 1 – 3 of 3) sorted by relevance
125 int tpmi_get_power_domain_id(int cpu_no) in tpmi_get_power_domain_id() function132 EXPORT_SYMBOL_NS_GPL(tpmi_get_power_domain_id, "INTEL_TPMI_POWER_DOMAIN");
15 int tpmi_get_power_domain_id(int cpu_no);
204 if (plr_die->die_id != tpmi_get_power_domain_id(cpu)) in plr_status_show()244 if (plr_die->die_id != tpmi_get_power_domain_id(cpu)) in plr_status_write()