Changes in kernel/test/mm/mapping1.c [7e752b2:f66b565] 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
@@ -58 +59 @@
         *((uint32_t *) frame1) = VALUE1;
         
+        page_table_lock(AS, true);
+
         TPRINTF("Mapping virtual address %p to physical address %p.\n",
             (void *) PAGE0, (void *) KA2PA(frame0));
@@ -65 +68 @@
             (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);