Index: kernel/generic/include/synch/waitq.h
===================================================================
--- kernel/generic/include/synch/waitq.h	(revision 2e151ab0c8294457d54b98375e85947e57e80ea6)
+++ kernel/generic/include/synch/waitq.h	(revision 6c4a56f3dfeb76e8cadec584d06e5862d6074d3e)
@@ -76,4 +76,5 @@
 extern void _waitq_wakeup_unsafe(waitq_t *, wakeup_mode_t);
 extern void waitq_interrupt_sleep(struct thread *);
+extern void waitq_unsleep(waitq_t *);
 
 #endif