Changes in kernel/generic/src/mm/reserve.c [9d58539:63e27ef] 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>
@@ -42 +43 @@
 #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);