waitq_signal 96 kernel/generic/include/synch/waitq.h extern void waitq_signal(waitq_t *); waitq_signal 60 kernel/generic/src/synch/condvar.c waitq_signal(&cv->wq);