Symbol: tpmi_get_power_domain_mask
drivers/platform/x86/intel/tpmi_power_domains.c
155
EXPORT_SYMBOL_NS_GPL(tpmi_get_power_domain_mask, "INTEL_TPMI_POWER_DOMAIN");
drivers/platform/x86/intel/tpmi_power_domains.h
16
cpumask_t *tpmi_get_power_domain_mask(int cpu_no);