Symbol: tpmi_get_power_domain_id
drivers/platform/x86/intel/plr_tpmi.c
205
if (plr_die->die_id != tpmi_get_power_domain_id(cpu))
drivers/platform/x86/intel/plr_tpmi.c
245
if (plr_die->die_id != tpmi_get_power_domain_id(cpu))
drivers/platform/x86/intel/tpmi_power_domains.c
134
EXPORT_SYMBOL_NS_GPL(tpmi_get_power_domain_id, "INTEL_TPMI_POWER_DOMAIN");
drivers/platform/x86/intel/tpmi_power_domains.h
15
int tpmi_get_power_domain_id(int cpu_no);