Changes in kernel/generic/src/mm/page.c [63e27ef:560b81c] in mainline

File:

• kernel/generic/src/mm/page.c (modified) (6 diffs)

kernel/generic/src/mm/page.c

@@ -69 +69 @@
 #include <typedefs.h>
 #include <arch/asm.h>
+#include <memstr.h>
+#include <debug.h>
 #include <arch.h>
-#include <assert.h>
 #include <syscall/copy.h>
 #include <errno.h>
@@ -98 +99 @@
     unsigned int flags)
 {
-        assert(page_table_locked(as));
-        
-        assert(page_mapping_operations);
-        assert(page_mapping_operations->mapping_insert);
+        ASSERT(page_table_locked(as));
+        
+        ASSERT(page_mapping_operations);
+        ASSERT(page_mapping_operations->mapping_insert);
 
         page_mapping_operations->mapping_insert(as, ALIGN_DOWN(page, PAGE_SIZE),
@@ -122 +123 @@
 NO_TRACE void page_mapping_remove(as_t *as, uintptr_t page)
 {
-        assert(page_table_locked(as));
-        
-        assert(page_mapping_operations);
-        assert(page_mapping_operations->mapping_remove);
+        ASSERT(page_table_locked(as));
+        
+        ASSERT(page_mapping_operations);
+        ASSERT(page_mapping_operations->mapping_remove);
         
         page_mapping_operations->mapping_remove(as,
@@ -147 +148 @@
     pte_t *pte)
 {
-        assert(nolock || page_table_locked(as));
-        
-        assert(page_mapping_operations);
-        assert(page_mapping_operations->mapping_find);
+        ASSERT(nolock || page_table_locked(as));
+        
+        ASSERT(page_mapping_operations);
+        ASSERT(page_mapping_operations->mapping_find);
         
         return page_mapping_operations->mapping_find(as,
@@ -168 +169 @@
     pte_t *pte)
 {
-        assert(nolock || page_table_locked(as));
-        
-        assert(page_mapping_operations);
-        assert(page_mapping_operations->mapping_find);
+        ASSERT(nolock || page_table_locked(as));
+        
+        ASSERT(page_mapping_operations);
+        ASSERT(page_mapping_operations->mapping_find);
         
         page_mapping_operations->mapping_update(as,
@@ -184 +185 @@
 void page_mapping_make_global(uintptr_t base, size_t size)
 {
-        assert(page_mapping_operations);
-        assert(page_mapping_operations->mapping_make_global);
+        ASSERT(page_mapping_operations);
+        ASSERT(page_mapping_operations->mapping_make_global);
         
         return page_mapping_operations->mapping_make_global(base, size);