tpmi_get_power_domain_id
if (plr_die->die_id != tpmi_get_power_domain_id(cpu))
if (plr_die->die_id != tpmi_get_power_domain_id(cpu))
EXPORT_SYMBOL_NS_GPL(tpmi_get_power_domain_id, "INTEL_TPMI_POWER_DOMAIN");
int tpmi_get_power_domain_id(int cpu_no);