Index: kernel/generic/include/synch/waitq.h
===================================================================
--- kernel/generic/include/synch/waitq.h	(revision 81193639c9f3af3b65a6ea46f1f7422d4d3bec12)
+++ kernel/generic/include/synch/waitq.h	(revision d3b2ffaddcda1e7c3db7a9f643033e62c4c947a0)
@@ -82,5 +82,4 @@
 extern void _waitq_wakeup_unsafe(waitq_t *, wakeup_mode_t);
 extern void waitq_interrupt_sleep(struct thread *);
-extern void waitq_unsleep(waitq_t *);
 extern int waitq_count_get(waitq_t *);
 extern void waitq_count_set(waitq_t *, int val);