Index: kernel/generic/src/ipc/event.c
===================================================================
--- kernel/generic/src/ipc/event.c	(revision 716fb9d713ceb210b9824bd965bbd54b4a054b9f)
+++ kernel/generic/src/ipc/event.c	(revision 88d653c24fab616854ccd454a1780ee0b5691d13)
@@ -141,7 +141,9 @@
 			IPC_SET_ARG5(call->data, a5);
 			
+			ipl_t ipl = interrupts_disable();
 			spinlock_lock(&events[evno].answerbox->irq_lock);
 			list_append(&call->link, &events[evno].answerbox->irq_notifs);
 			spinlock_unlock(&events[evno].answerbox->irq_lock);
+			interrupts_restore(ipl);
 			
 			waitq_wakeup(&events[evno].answerbox->wq, WAKEUP_FIRST);