Index: kernel/generic/src/synch/waitq.c
===================================================================
--- kernel/generic/src/synch/waitq.c	(revision 313b6172c4a7557560500d83509400c7cf95dc2f)
+++ kernel/generic/src/synch/waitq.c	(revision 4acaa7c0d4fdaf4f08ad44578e5a437a7f8dc98f)
@@ -459,4 +459,7 @@
 {
 	size_t count = 0;
+
+	ASSERT(interrupts_disabled());
+	ASSERT(irq_spinlock_locked(&wq->lock));
 	
 loop: