Changeset 63e27ef in mainline for kernel/generic/src/ipc/event.c

Timestamp:

2017-06-19T21:47:42Z (7 years ago)

Author:

Jiri Svoboda <jiri@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

deacc58d

Parents:

7354b5e

Message:

ASSERT → assert

File:

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

kernel/generic/src/ipc/event.c

@@ -35 +35 @@
  */
 
+#include <assert.h>
 #include <ipc/event.h>
 #include <mm/slab.h>
@@ -59 +60 @@
 static event_t *evno2event(int evno, task_t *task)
 {
-        ASSERT(evno < EVENT_TASK_END);
+        assert(evno < EVENT_TASK_END);
         
         event_t *event;
@@ -123 +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);
@@ -131 +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);
@@ -208 +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);
@@ -236 +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);