Index: kernel/test/mm/mapping1.c
===================================================================
--- kernel/test/mm/mapping1.c	(revision 7e752b2a0d66c871748e5fa9e8bbe3a27c70a202)
+++ kernel/test/mm/mapping1.c	(revision 8d6c1f139a0fd8ef52d018e1c68b0dcca5ec1ec9)
@@ -35,4 +35,5 @@
 #include <typedefs.h>
 #include <debug.h>
+#include <arch.h>
 
 #define PAGE0  0x10000000
@@ -58,4 +59,6 @@
 	*((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,4 +68,6 @@
 	    (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);