Index: kernel/generic/include/synch/waitq.h
===================================================================
--- kernel/generic/include/synch/waitq.h	(revision ff90f5ff632907d5ecfca130f802b91bb0091a56)
+++ kernel/generic/include/synch/waitq.h	(revision 3954961e3244230c1f7f8570256342938778edb5)
@@ -77,4 +77,5 @@
 extern void waitq_sleep_finish(waitq_t *, int, ipl_t);
 extern void waitq_wakeup(waitq_t *, wakeup_mode_t);
+extern void waitq_complete_wakeup(waitq_t *);
 extern void _waitq_wakeup_unsafe(waitq_t *, wakeup_mode_t);
 extern void waitq_interrupt_sleep(struct thread *);