Changeset e49e234 in mainline for kernel/arch/arm32

Timestamp:

2009-02-27T11:32:31Z (17 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

Files:

• include/mm/frame.h (modified) (4 diffs)
• src/mm/frame.c (modified) (3 diffs)
• src/mm/page.c (modified) (2 diffs)

kernel/arch/arm32/include/mm/frame.h

@@ -27 +27 @@
  */
 
-/** @addtogroup arm32mm 
+/** @addtogroup arm32mm
  * @{
  */
@@ -37 +37 @@
 #define KERN_arm32_FRAME_H_
 
-#define FRAME_WIDTH             12 /* 4KB frames */
-#define FRAME_SIZE              (1 << FRAME_WIDTH)
+#define FRAME_WIDTH  12  /* 4KB frames */
+#define FRAME_SIZE   (1 << FRAME_WIDTH)
 
 #ifdef KERNEL
@@ -45 +45 @@
 #include <arch/types.h>
 
-#define BOOT_PAGE_TABLE_SIZE    0x4000
-#define BOOT_PAGE_TABLE_ADDRESS 0x4000
+#define BOOT_PAGE_TABLE_SIZE     0x4000
+#define BOOT_PAGE_TABLE_ADDRESS  0x4000
 
 #define BOOT_PAGE_TABLE_START_FRAME     (BOOT_PAGE_TABLE_ADDRESS >> FRAME_WIDTH)
@@ -52 +52 @@
 
 extern uintptr_t last_frame;
-extern uintptr_t end_frame;
 
 extern void frame_arch_init(void);

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);
-}
-
 /** @}
  */