overtemp_wakeup
(void) timeout(overtemp_wakeup, NULL, overtemp_timeout_sec*hz);
static void overtemp_wakeup(void *);