intel_tcc_get_tjmax
if (intel_tcc_get_tjmax(-1) > 0)
tj_max = intel_tcc_get_tjmax(-1);
EXPORT_SYMBOL_NS_GPL(intel_tcc_get_tjmax, "INTEL_TCC");
tjmax = intel_tcc_get_tjmax(cpu);
tj_max = intel_tcc_get_tjmax(zonedev->cpu);
tj_max = intel_tcc_get_tjmax(cpu);
int intel_tcc_get_tjmax(int cpu);