condvar_initialize 56 kernel/generic/include/synch/condvar.h extern void condvar_initialize(condvar_t *cv); condvar_initialize 75 kernel/generic/src/udebug/udebug.c condvar_initialize(&ut->active_cv);