Changeset 00287cc in mainline for kernel/arch/arm32/src/mm/page.c

Timestamp:

2009-03-12T23:26:32Z (16 years ago)

Author:

Martin Decky <martin@…>

Branches:

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

Children:

648c9d9

Parents:

3b122e9

Message:

arm32: update for the new scheme of device drivers and keyboard/serial modules
streamline arm32 port (as GXemul is still the only machine supported), more cleanup is needed

File:

• kernel/arch/arm32/src/mm/page.c (modified) (4 diffs)

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

@@ -52 +52 @@
 void page_arch_init(void)
 {
+        int flags = PAGE_CACHEABLE;
+        page_mapping_operations = &pt_mapping_operations;
+        
         uintptr_t cur;
-        int flags;
-
-        page_mapping_operations = &pt_mapping_operations;
-
-        flags = PAGE_CACHEABLE;
-
-        /* PA2KA(identity) mapping for all frames until last_frame */
-        for (cur = 0; cur < last_frame; cur += FRAME_SIZE) {
+        /* Kernel identity mapping */
+        for (cur = 0; cur < last_frame; cur += FRAME_SIZE)
                 page_mapping_insert(AS_KERNEL, PA2KA(cur), cur, flags);
-        }
         
-        /* create mapping for exception table at high offset */
+        /* Create mapping for exception table at high offset */
 #ifdef HIGH_EXCEPTION_VECTORS
         void *virtaddr = frame_alloc(ONE_FRAME, FRAME_KA);
@@ -71 +67 @@
 #error "Only high exception vector supported now"
 #endif
-
+        
         as_switch(NULL, AS_KERNEL);
-
+        
         boot_page_table_free();
 }
@@ -94 +90 @@
                     physaddr, size)
         }
-
+        
         uintptr_t virtaddr = PA2KA(last_frame);
         pfn_t i;
@@ -102 +98 @@
                     PAGE_NOT_CACHEABLE | PAGE_READ | PAGE_WRITE | PAGE_KERNEL);
         }
-
+        
         last_frame = ALIGN_UP(last_frame + size, FRAME_SIZE);
         return virtaddr;