Changes in kernel/generic/src/ipc/event.c [8a637a4:63e27ef] in mainline

File:

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

kernel/generic/src/ipc/event.c

@@ -35 +35 @@
  */
 
+#include <assert.h>
 #include <ipc/event.h>
 #include <mm/slab.h>
@@ -41 +42 @@
 #include <console/console.h>
 #include <proc/task.h>
-#include <memstr.h>
 #include <errno.h>
 #include <arch.h>
@@ -60 +60 @@
 static event_t *evno2event(int evno, task_t *task)
 {
-        ASSERT(evno < EVENT_TASK_END);
+        assert(evno < EVENT_TASK_END);
         
         event_t *event;
@@ -124 +124 @@
 void event_set_unmask_callback(event_type_t evno, event_callback_t callback)
 {
-        ASSERT(evno < EVENT_END);
+        assert(evno < EVENT_END);
         
         _event_set_unmask_callback(evno2event(evno, NULL), callback);
@@ -132 +132 @@
     event_callback_t callback)
 {
-        ASSERT(evno >= (int) EVENT_END);
-        ASSERT(evno < EVENT_TASK_END);
+        assert(evno >= (int) EVENT_END);
+        assert(evno < EVENT_TASK_END);
                 
         _event_set_unmask_callback(evno2event(evno, task), callback);
@@ -209 +209 @@
     sysarg_t a3, sysarg_t a4, sysarg_t a5)
 {
-        ASSERT(evno < EVENT_END);
+        assert(evno < EVENT_END);
         
         return event_enqueue(evno2event(evno, NULL), mask, a1, a2, a3, a4, a5);
@@ -237 +237 @@
     sysarg_t a1, sysarg_t a2, sysarg_t a3, sysarg_t a4, sysarg_t a5)
 {
-        ASSERT(evno >= (int) EVENT_END);
-        ASSERT(evno < EVENT_TASK_END);
+        assert(evno >= (int) EVENT_END);
+        assert(evno < EVENT_TASK_END);
         
         return event_enqueue(evno2event(evno, task), mask, a1, a2, a3, a4, a5);