cond_signal_handler
smr_call_impl(&smr, cond_signal_handler, &c, expedite);
timeout_set_flags(&barrier, cond_signal_handler, &c, KCLOCK_NONE,
struct task t = TASK_INITIALIZER(cond_signal_handler, &c);
void cond_signal_handler(void *);
cond_signal_handler(c);