msr_pkg_therm_high   51 drivers/thermal/intel/x86_pkg_temp_thermal.c 	u32				msr_pkg_therm_high;
msr_pkg_therm_high  368 drivers/thermal/intel/x86_pkg_temp_thermal.c 	      zonedev->msr_pkg_therm_high);
msr_pkg_therm_high  430 drivers/thermal/intel/x86_pkg_temp_thermal.c 		      zonedev->msr_pkg_therm_low, zonedev->msr_pkg_therm_high);