tjmax_ee          231 drivers/hwmon/coretemp.c 	int tjmax_ee = 85000;
tjmax_ee          303 drivers/hwmon/coretemp.c 				tjmax_ee = 90000;
tjmax_ee          316 drivers/hwmon/coretemp.c 			tjmax = tjmax_ee;