int sys_t_wakeup(void) { void *chan; if(argptr(0, (void *)&chan, sizeof(void *)) < 0) { return -1; } t_wakeup(chan); return 0; }
void cv_signal(cond_t *cv){ t_wakeup(); xchg(&cv->cond, 1); }