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