tpmi_get_linux_cpu_number
EXPORT_SYMBOL_NS_GPL(tpmi_get_linux_cpu_number, "INTEL_TPMI_POWER_DOMAIN");
int tpmi_get_linux_cpu_number(int package_id, int die_id, int punit_core_id);