Index: kernel/generic/include/synch/waitq.h
===================================================================
--- kernel/generic/include/synch/waitq.h	(revision a9f1372b10ddc3484d0e257123b300c46a7ef03e)
+++ kernel/generic/include/synch/waitq.h	(revision b7398c034409791e32e89439b6f1e7e895d99e10)
@@ -80,4 +80,6 @@
 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);
 
 #endif