Changeset 00287cc in mainline for kernel/arch/arm32/src/mm/frame.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/frame.c (modified) (3 diffs)

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

@@ -36 +36 @@
 #include <mm/frame.h>
 #include <arch/mm/frame.h>
-#include <arch/machine.h>
+#include <arch/drivers/gxemul.h>
 #include <config.h>
-#include <arch/debug/print.h>
 
 /** Address of the last frame in the memory. */
@@ -46 +45 @@
 void frame_arch_init(void)
 {
-        /* all memory as one zone */
-        zone_create(0, ADDR2PFN(machine_get_memory_size()),
+        last_frame = *((uintptr_t *) (GXEMUL_MP_ADDRESS + GXEMUL_MP_MEMSIZE_OFFSET));
+        
+        /* All memory as one zone */
+        zone_create(0, ADDR2PFN(last_frame),
             BOOT_PAGE_TABLE_START_FRAME + BOOT_PAGE_TABLE_SIZE_IN_FRAMES, 0);
-        last_frame = machine_get_memory_size();
         
         /* blacklist boot page table */
@@ -59 +59 @@
 void boot_page_table_free(void)
 {
-        int i;
-        for (i = 0; i < BOOT_PAGE_TABLE_SIZE_IN_FRAMES; i++) {
+        unsigned int i;
+        for (i = 0; i < BOOT_PAGE_TABLE_SIZE_IN_FRAMES; i++)
                 frame_free(i * FRAME_SIZE + BOOT_PAGE_TABLE_ADDRESS);
-        }
 }