Index: kernel/generic/src/ipc/event.c
===================================================================
--- kernel/generic/src/ipc/event.c	(revision 6ac14a70ed101ee9fa8379a5f9ef15a38f08aec5)
+++ kernel/generic/src/ipc/event.c	(revision 5e738155aabe3b1083edd0a2e466ca19dd31d8ed)
@@ -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);