Changeset 40c8c17 in mainline for kernel/arch/arm32/src

Timestamp:

2011-11-26T21:37:40Z (14 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

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

Children:

38ff925

Parents:

056ddc30

Message:

Replace multiple definitions of last_frame with config.physmem_end.
Do not duplicate code which calculates the end of physical memory.

Location:

kernel/arch/arm32/src/mm

Files:

• frame.c (modified) (2 diffs)
• page.c (modified) (1 diff)

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

@@ -41 +41 @@
 #include <macros.h>
 
-// TODO: remove me
-/** Address of the last frame in the memory. */
-uintptr_t last_frame = 0;
-
 static void frame_common_arch_init(bool low)
 {
@@ -74 +70 @@
 void frame_low_arch_init(void)
 {
-        uintptr_t mem_start;
-        size_t mem_size;
-
-        machine_get_memory_extents(&mem_start, &mem_size);
-        // TODO: remove me
-        last_frame = ALIGN_DOWN(mem_start + mem_size, FRAME_SIZE);
-        
         frame_common_arch_init(true);
 

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

@@ -58 +58 @@
         
         uintptr_t cur;
+
         /* Kernel identity mapping */
         for (cur = PHYSMEM_START_ADDR;
-            cur < min(config.identity_base, last_frame); cur += FRAME_SIZE)
+            cur < min(config.identity_size, config.physmem_end);
+            cur += FRAME_SIZE)
                 page_mapping_insert(AS_KERNEL, PA2KA(cur), cur, flags);