Changeset e49e234 in mainline for kernel/arch/arm32/src

Timestamp:

2009-02-27T11:32:31Z (16 years ago)

Author:

Martin Decky <martin@…>

Branches:

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

Children:

c1f7f6ea

Parents:

5f0f29ce

Message:

kernel memory management revisited (phase 2): map physical memory according to zones

• ia32: register reserved and ACPI zones
• pareas are now used only for mapping of present physical memory (hw_area() is gone)
• firmware zones and physical addresses outside any zones are allowed to be mapped generally
• fix nasty antient bug in zones_insert_zone()

Location:

kernel/arch/arm32/src/mm

Files:

• frame.c (modified) (3 diffs)
• page.c (modified) (2 diffs)

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

@@ -27 +27 @@
  */
 
-/** @addtogroup arm32mm 
+/** @addtogroup arm32mm
  * @{
  */
@@ -42 +42 @@
 /** Address of the last frame in the memory. */
 uintptr_t last_frame = 0;
-uintptr_t end_frame = 0;
 
 /** Creates memory zones. */
@@ -51 +50 @@
             BOOT_PAGE_TABLE_START_FRAME + BOOT_PAGE_TABLE_SIZE_IN_FRAMES, 0);
         last_frame = machine_get_memory_size();
-        end_frame = last_frame;
         
         /* blacklist boot page table */

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

@@ -44 +44 @@
 #include <interrupt.h>
 #include <arch/mm/frame.h>
-#include <ddi/ddi.h>
-
-/** Physical memory area for devices. */
-static parea_t dev_area;
 
 /** Initializes page tables.
@@ -111 +107 @@
 }
 
-void hw_area(void)
-{
-        dev_area.pbase = end_frame;
-        dev_area.frames = SIZE2FRAMES(0xffffffff - end_frame);
-        ddi_parea_register(&dev_area);
-}
-
 /** @}
  */