Changes in kernel/generic/src/lib/rd.c [63e27ef:b2fa1204] in mainline

File:

• kernel/generic/src/lib/rd.c (modified) (2 diffs)

kernel/generic/src/lib/rd.c

@@ -38 +38 @@
  */
 
-#include <assert.h>
 #include <log.h>
 #include <lib/rd.h>
@@ -57 +56 @@
 {
         uintptr_t base = (uintptr_t) data;
-        assert((base % FRAME_SIZE) == 0);
+        ASSERT((base % FRAME_SIZE) == 0);
         
         rd_parea.pbase = base;