Changes in kernel/test/mm/mapping1.c [f66b565:7e752b2] in mainline

File:

• kernel/test/mm/mapping1.c (modified) (3 diffs)

kernel/test/mm/mapping1.c

@@ -35 +35 @@
 #include <typedefs.h>
 #include <debug.h>
-#include <arch.h>
 
 #define PAGE0  0x10000000
@@ -59 +58 @@
         *((uint32_t *) frame1) = VALUE1;
         
-        page_table_lock(AS, true);
-
         TPRINTF("Mapping virtual address %p to physical address %p.\n",
             (void *) PAGE0, (void *) KA2PA(frame0));
@@ -68 +65 @@
             (void *) PAGE1, (void *) KA2PA(frame1));
         page_mapping_insert(AS_KERNEL, PAGE1, KA2PA(frame1), PAGE_PRESENT | PAGE_WRITE);
-
-        page_table_unlock(AS, true);
         
         v0 = *((uint32_t *) PAGE0);