Index: kernel/generic/src/ipc/irq.c
===================================================================
--- kernel/generic/src/ipc/irq.c	(revision da1bafb8cf9a3b3be8ef21bc114daaa476a85190)
+++ kernel/generic/src/ipc/irq.c	(revision f0e1ac989d9c3e0804ca4f3bba31bfff67ba485c)
@@ -430,4 +430,7 @@
 {
 	ASSERT(irq);
+
+	ASSERT(interrupts_disabled());
+	ASSERT(irq_spinlock_locked(&irq->lock));
 	
 	if (irq->notif_cfg.answerbox) {