Files
lkl_linux/drivers/acpi/thermal.c