Changeset bfb87df in mainline for arch/amd64/src/mm/page.c

Timestamp:

2006-02-09T17:02:36Z (19 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

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

Children:

8f00329

Parents:

874878a

Message:

Remove WAKEUP_IPI stuff.

Make it possible to use PAGE_GLOBAL on ia32, amd64 and mips32.
Make ia32 and amd64 map the kernel using PAGE_GLOBAL.

File:

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

arch/amd64/src/mm/page.c

@@ -42 +42 @@
 {
         __address cur;
+        int flags;
 
         if (config.cpu_active == 1) {
@@ -50 +51 @@
                  */
                 for (cur = 0; cur < last_frame; cur += FRAME_SIZE) {
-                        page_mapping_insert(AS_KERNEL, PA2KA(cur), cur, PAGE_CACHEABLE | PAGE_EXEC);
+                        flags = PAGE_CACHEABLE | PAGE_EXEC;
+                        if ((PA2KA(cur) >= config.base) && (PA2KA(cur) < config.base + config.kernel_size))
+                                flags |= PAGE_GLOBAL;
+                        page_mapping_insert(AS_KERNEL, PA2KA(cur), cur, flags);
                 }
                 exc_register(14, "page_fault", (iroutine)page_fault);