Changeset 63e27ef in mainline for kernel/generic/src/mm/reserve.c

Timestamp:

2017-06-19T21:47:42Z (8 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/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);