Changes in kernel/arch/arm32/src/mm/frame.c [6250c37:5ac77cc] in mainline

File:

• kernel/arch/arm32/src/mm/frame.c (modified) (2 diffs)

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

@@ -38 +38 @@
 #include <arch/machine_func.h>
 #include <config.h>
-#include <align.h>
 
 /** Address of the last frame in the memory. */
@@ -46 +45 @@
 void frame_arch_init(void)
 {
-        uintptr_t mem_start, mem_size;
-        uintptr_t first_frame;
-        uintptr_t num_frames;
-
-        machine_get_memory_extents(&mem_start, &mem_size);
-        first_frame = ALIGN_UP(mem_start, FRAME_SIZE);
-        last_frame = ALIGN_DOWN(mem_start + mem_size, FRAME_SIZE);
-        num_frames = (last_frame - first_frame) >> FRAME_WIDTH;
+        last_frame = machine_get_memory_size();
         
         /* All memory as one zone */
-        zone_create(first_frame >> FRAME_WIDTH, num_frames,
+        zone_create(0, ADDR2PFN(last_frame),
             BOOT_PAGE_TABLE_START_FRAME + BOOT_PAGE_TABLE_SIZE_IN_FRAMES, 0);