Changes in kernel/arch/ia64/src/mm/page.c [63e27ef:9d58539] in mainline

File:

• kernel/arch/ia64/src/mm/page.c (modified) (4 diffs)

kernel/arch/ia64/src/mm/page.c

@@ -35 +35 @@
 
 #include <arch/mm/page.h>
-#include <assert.h>
 #include <genarch/mm/page_ht.h>
 #include <mm/asid.h>
@@ -48 +47 @@
 #include <arch/asm.h>
 #include <arch/barrier.h>
+#include <memstr.h>
 #include <align.h>
 
@@ -167 +167 @@
         bool match;
 
-        assert(v);
+        ASSERT(v);
 
         vrn = page >> VRN_SHIFT;
@@ -214 +214 @@
         uint64_t tag;
 
-        assert(v);
+        ASSERT(v);
 
         vrn = page >> VRN_SHIFT;