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