HelenOS sources

sys_waitq_destroy   51 kernel/generic/include/synch/syswaitq.h extern sys_errno_t sys_waitq_destroy(cap_waitq_handle_t);
sys_waitq_destroy   79 kernel/generic/src/syscall/syscall.c 	[SYS_WAITQ_DESTROY] = (syshandler_t) sys_waitq_destroy,