cv_wakeup
id = timeout_generic(CALLOUT_REALTIME, (void (*)(void *))cv_wakeup, t,
id = timeout_generic(CALLOUT_REALTIME, (void (*)(void *))cv_wakeup, t,
id = realtime_timeout_default((void (*)(void *))cv_wakeup, t,