realtime_timeout_default
id = realtime_timeout_default((void (*)(void *))cv_wakeup, t,
callout_id_t realtime_timeout_default(void (*)(void *), void *, clock_t);