acpi_processor_thermal_exit
acpi_processor_thermal_exit(pr, device);
void acpi_processor_thermal_exit(struct acpi_processor *pr,