HelenOS sources

waitq_initialize_with_count   72 kernel/generic/include/synch/waitq.h extern void waitq_initialize_with_count(waitq_t *, int);
waitq_initialize_with_count   54 kernel/generic/src/synch/semaphore.c 	waitq_initialize_with_count(&sem->wq, val);