timeout_default
id = timeout_default(delay_wakeup, t, timeleft);
callout_id_t timeout_default(void (*)(void *), void *, clock_t);