Changes in kernel/generic/src/ipc/event.c [da1bafb:d99c1d2] in mainline

File:

• kernel/generic/src/ipc/event.c (modified) (1 diff)

kernel/generic/src/ipc/event.c

@@ -137 +137 @@
                         IPC_SET_ARG5(call->data, a5);
                         
-                        irq_spinlock_lock(&events[evno].answerbox->irq_lock, true);
+                        ipl_t ipl = interrupts_disable();
+                        spinlock_lock(&events[evno].answerbox->irq_lock);
                         list_append(&call->link, &events[evno].answerbox->irq_notifs);
-                        irq_spinlock_unlock(&events[evno].answerbox->irq_lock, true);
+                        spinlock_unlock(&events[evno].answerbox->irq_lock);
+                        interrupts_restore(ipl);
                         
                         waitq_wakeup(&events[evno].answerbox->wq, WAKEUP_FIRST);