Index: kernel/generic/include/synch/syswaitq.h
===================================================================
--- kernel/generic/include/synch/syswaitq.h	(revision 0b5203bfbdafa8ef8abc2bd7521c6fd282f677e9)
+++ kernel/generic/include/synch/syswaitq.h	(revision f4cb6c5fab0eeda943f0b98226bf10e76be11e76)
@@ -46,4 +46,5 @@
 extern sys_errno_t sys_waitq_sleep(cap_waitq_handle_t, uintptr_t);
 extern sys_errno_t sys_waitq_wakeup(cap_waitq_handle_t);
+extern sys_errno_t sys_waitq_destroy(cap_waitq_handle_t);
 
 #endif