Changes in kernel/arch/ia32/src/mm/page.c [d99c1d2:e3ce39b] in mainline

File:

• kernel/arch/ia32/src/mm/page.c (modified) (3 diffs)

kernel/arch/ia32/src/mm/page.c

@@ -61 +61 @@
                  * PA2KA(identity) mapping for all frames until last_frame.
                  */
+                page_table_lock(AS_KERNEL, true);
                 for (cur = 0; cur < last_frame; cur += FRAME_SIZE) {
                         flags = PAGE_CACHEABLE | PAGE_WRITE;
@@ -67 +68 @@
                         page_mapping_insert(AS_KERNEL, PA2KA(cur), cur, flags);
                 }
+                page_table_unlock(AS_KERNEL, true);
                 
                 exc_register(14, "page_fault", (iroutine) page_fault);
@@ -84 +86 @@
         uintptr_t virtaddr = PA2KA(last_frame);
         pfn_t i;
+        page_table_lock(AS_KERNEL, true);
         for (i = 0; i < ADDR2PFN(ALIGN_UP(size, PAGE_SIZE)); i++) {
                 uintptr_t addr = PFN2ADDR(i);
                 page_mapping_insert(AS_KERNEL, virtaddr + addr, physaddr + addr, PAGE_NOT_CACHEABLE | PAGE_WRITE);
         }
+        page_table_unlock(AS_KERNEL, true);
         
         last_frame = ALIGN_UP(last_frame + size, FRAME_SIZE);