Symbol: tpmi_get_linux_cpu_number
drivers/platform/x86/intel/tpmi_power_domains.c
116
EXPORT_SYMBOL_NS_GPL(tpmi_get_linux_cpu_number, "INTEL_TPMI_POWER_DOMAIN");
drivers/platform/x86/intel/tpmi_power_domains.h
13
int tpmi_get_linux_cpu_number(int package_id, int die_id, int punit_core_id);