Changes in kernel/generic/src/mm/reserve.c [63e27ef:9d58539] in mainline

File:

• kernel/generic/src/mm/reserve.c (modified) (3 diffs)

kernel/generic/src/mm/reserve.c

@@ -36 +36 @@
  */
 
-#include <assert.h>
 #include <mm/reserve.h>
 #include <mm/frame.h>
@@ -43 +42 @@
 #include <typedefs.h>
 #include <arch/types.h>
+#include <debug.h>
 
 static bool reserve_initialized = false;
@@ -72 +72 @@
         bool reserved = false;
 
-        assert(reserve_initialized);
+        ASSERT(reserve_initialized);
 
         irq_spinlock_lock(&reserve_lock, true);