Changeset 7cb567cd in mainline for kernel/arch/amd64/src/mm/page.c

Timestamp:

2007-04-08T20:52:53Z (18 years ago)

Author:

Martin Decky <martin@…>

Branches:

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

Children:

e5dbbe5

Parents:

328f324b

Message:

map kernel pages explicitly as writable (this solves compatibility issues with Intel Core 2)
make VESA framebuffer initialization more robust

File:

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

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

@@ -84 +84 @@
         uintptr_t cur;
         int i;
-        int identity_flags = PAGE_CACHEABLE | PAGE_EXEC | PAGE_GLOBAL;
+        int identity_flags = PAGE_CACHEABLE | PAGE_EXEC | PAGE_GLOBAL | PAGE_WRITE;
 
         if (config.cpu_active == 1) {
@@ -113 +113 @@
                 exc_register(14, "page_fault", (iroutine) page_fault);
                 write_cr3((uintptr_t) AS_KERNEL->genarch.page_table);
-        }
-        else {
+        } else 
                 write_cr3((uintptr_t) AS_KERNEL->genarch.page_table);
-        }
 }
 
@@ -209 +207 @@
         pfn_t i;
         for (i = 0; i < ADDR2PFN(ALIGN_UP(size, PAGE_SIZE)); i++)
-                page_mapping_insert(AS_KERNEL, virtaddr + PFN2ADDR(i), physaddr + PFN2ADDR(i), PAGE_NOT_CACHEABLE);
+                page_mapping_insert(AS_KERNEL, virtaddr + PFN2ADDR(i), physaddr + PFN2ADDR(i), PAGE_NOT_CACHEABLE | PAGE_WRITE);
         
         last_frame = ALIGN_UP(last_frame + size, FRAME_SIZE);