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

Timestamp:

2011-11-10T23:09:13Z (14 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

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

Children:

95e882d

Parents:

ec1c8e6

Message:

Split frame_arch_init() into two parts.

• frame_low_arch_init() is meant to initialize physical memory that will be accessible using the kernel identity mapping
• frame_high_arch_init() is meant to initialize physical memory beyond the reach of the kernel identity mapping; zones in the high memory should have configuration frames allocated externally from the low memory (which will be allowed)

File:

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

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

@@ -39 +39 @@
 #include <config.h>
 #include <align.h>
+#include <macros.h>
 
 /** Address of the last frame in the memory. */
@@ -44 +45 @@
 
 /** Creates memory zones. */
-void frame_arch_init(void)
+void frame_low_arch_init(void)
 {
         uintptr_t mem_start, mem_size;
@@ -66 +67 @@
 }
 
+void frame_high_arch_init(void)
+{
+}
+
 /** Frees the boot page table. */
 void boot_page_table_free(void)