Example #1
0
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);
}