Changeset f66b565 in mainline

Timestamp:

2011-05-23T19:29:10Z (13 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

655f70b

Parents:

1cab9972

Message:

Fix test mapping1.

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);