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

File:

• kernel/generic/src/ipc/event.c (modified) (2 diffs)

kernel/generic/src/ipc/event.c

@@ -38 +38 @@
 #include <ipc/event_types.h>
 #include <mm/slab.h>
-#include <arch/types.h>
+#include <typedefs.h>
 #include <synch/spinlock.h>
 #include <console/console.h>
@@ -137 +137 @@
                         IPC_SET_ARG5(call->data, a5);
                         
-                        ipl_t ipl = interrupts_disable();
-                        spinlock_lock(&events[evno].answerbox->irq_lock);
+                        irq_spinlock_lock(&events[evno].answerbox->irq_lock, true);
                         list_append(&call->link, &events[evno].answerbox->irq_notifs);
-                        spinlock_unlock(&events[evno].answerbox->irq_lock);
-                        interrupts_restore(ipl);
+                        irq_spinlock_unlock(&events[evno].answerbox->irq_lock, true);
                         
                         waitq_wakeup(&events[evno].answerbox->wq, WAKEUP_FIRST);