Changes in kernel/generic/src/udebug/udebug_ipc.c [b5f716b:63e27ef] in mainline

File:

• kernel/generic/src/udebug/udebug_ipc.c (modified) (3 diffs)

kernel/generic/src/udebug/udebug_ipc.c

@@ -38 +38 @@
  * functions from the udebug_ops module which implement them.
  */
- 
+
+#include <assert.h>
 #include <proc/task.h>
 #include <proc/thread.h>
@@ -355 +356 @@
         }
 
-        ASSERT(buffer != NULL);
+        assert(buffer != NULL);
 
         /*
@@ -401 +402 @@
         }
 
-        ASSERT(buffer != NULL);
+        assert(buffer != NULL);
 
         IPC_SET_RETVAL(call->data, 0);