acpi_thinkpad_refresh
static void acpi_thinkpad_refresh(void *);
sensor_task_register(sc, acpi_thinkpad_refresh, 5);