Changeset c049309 in mainline for kernel/arch/xen32/src/mm/page.c

Timestamp:

2006-07-30T15:57:07Z (19 years ago)

Author:

Martin Decky <martin@…>

Branches:

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

Children:

b3e8c90

Parents:

764c302

Message:

xen32 cleanup

File:

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

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

@@ -27 +27 @@
  */
 
- /** @addtogroup xen32mm
+/** @addtogroup xen32mm
  * @{
  */
@@ -52 +52 @@
 void page_arch_init(void)
 {
-        uintptr_t cur;
-        int flags;
-
         if (config.cpu_active == 1) {
                 page_mapping_operations = &pt_mapping_operations;
-        
-                /*
-                 * PA2KA(identity) mapping for all frames until last_frame.
-                 */
-                for (cur = 0; cur < last_frame; cur += FRAME_SIZE) {
-                        flags = PAGE_CACHEABLE;
-                        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);
-//              write_cr3((uintptr_t) AS_KERNEL->page_table);
-        }
-        else {
-//              write_cr3((uintptr_t) AS_KERNEL->page_table);
-        }
-
-//      paging_on();
+                AS_KERNEL->page_table = (pte_t *) KA2PA(start_info.ptl0);
+        } else
+                SET_PTL0_ADDRESS_ARCH(AS_KERNEL->page_table);
 }