Changes in kernel/generic/src/mm/page.c [560b81c:63e27ef] 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>
@@ -99 +98 @@
     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),
@@ -123 +122 @@
 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,
@@ -148 +147 @@
     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,
@@ -169 +168 @@
     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,
@@ -185 +184 @@
 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);