Index: kernel/generic/src/ipc/event.c
===================================================================
--- kernel/generic/src/ipc/event.c	(revision 9a61ba5ab896f13e7e633f8d52af72325669aaf6)
+++ kernel/generic/src/ipc/event.c	(revision a405563b24f1a7675853129014154bb04b6758d5)
@@ -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);