Index: kernel/generic/src/ipc/event.c
===================================================================
--- kernel/generic/src/ipc/event.c	(revision 98000fb4ea6015506f059c9b121e417ce991ecfd)
+++ kernel/generic/src/ipc/event.c	(revision 9035c5a039d04f61d696becf12fa6c74cbabe5ae)
@@ -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);