Index: kernel/arch/abs32le/include/mm/frame.h
===================================================================
--- kernel/arch/abs32le/include/mm/frame.h	(revision ec1c8e6e352b3d48ddb5e318e01afc0a65d3b57a)
+++ kernel/arch/abs32le/include/mm/frame.h	(revision ddcc8a0d63f8ff64bcff9151c6d65b103343d22c)
@@ -41,5 +41,6 @@
 #include <typedefs.h>
 
-extern void frame_arch_init(void);
+extern void frame_low_arch_init(void);
+extern void frame_high_arch_init(void);
 extern void physmem_print(void);
 
Index: kernel/arch/abs32le/src/mm/frame.c
===================================================================
--- kernel/arch/abs32le/src/mm/frame.c	(revision ec1c8e6e352b3d48ddb5e318e01afc0a65d3b57a)
+++ kernel/arch/abs32le/src/mm/frame.c	(revision ddcc8a0d63f8ff64bcff9151c6d65b103343d22c)
@@ -50,5 +50,9 @@
 
 
-void frame_arch_init(void)
+void frame_low_arch_init(void)
+{
+}
+
+void frame_high_arch_init(void)
 {
 }
Index: kernel/arch/amd64/include/mm/frame.h
===================================================================
--- kernel/arch/amd64/include/mm/frame.h	(revision ec1c8e6e352b3d48ddb5e318e01afc0a65d3b57a)
+++ kernel/arch/amd64/include/mm/frame.h	(revision ddcc8a0d63f8ff64bcff9151c6d65b103343d22c)
@@ -44,5 +44,6 @@
 
 extern uintptr_t last_frame;
-extern void frame_arch_init(void);
+extern void frame_low_arch_init(void);
+extern void frame_high_arch_init(void);
 extern void physmem_print(void);
 
Index: kernel/arch/arm32/include/mm/frame.h
===================================================================
--- kernel/arch/arm32/include/mm/frame.h	(revision ec1c8e6e352b3d48ddb5e318e01afc0a65d3b57a)
+++ kernel/arch/arm32/include/mm/frame.h	(revision ddcc8a0d63f8ff64bcff9151c6d65b103343d22c)
@@ -63,5 +63,6 @@
 extern uintptr_t last_frame;
 
-extern void frame_arch_init(void);
+extern void frame_low_arch_init(void);
+extern void frame_high_arch_init(void);
 extern void boot_page_table_free(void);
 #define physmem_print()
Index: kernel/arch/arm32/src/mm/frame.c
===================================================================
--- kernel/arch/arm32/src/mm/frame.c	(revision ec1c8e6e352b3d48ddb5e318e01afc0a65d3b57a)
+++ kernel/arch/arm32/src/mm/frame.c	(revision ddcc8a0d63f8ff64bcff9151c6d65b103343d22c)
@@ -39,4 +39,5 @@
 #include <config.h>
 #include <align.h>
+#include <macros.h>
 
 /** Address of the last frame in the memory. */
@@ -44,5 +45,5 @@
 
 /** Creates memory zones. */
-void frame_arch_init(void)
+void frame_low_arch_init(void)
 {
 	uintptr_t mem_start, mem_size;
@@ -66,4 +67,8 @@
 }
 
+void frame_high_arch_init(void)
+{
+}
+
 /** Frees the boot page table. */
 void boot_page_table_free(void)
Index: kernel/arch/ia32/include/mm/frame.h
===================================================================
--- kernel/arch/ia32/include/mm/frame.h	(revision ec1c8e6e352b3d48ddb5e318e01afc0a65d3b57a)
+++ kernel/arch/ia32/include/mm/frame.h	(revision ddcc8a0d63f8ff64bcff9151c6d65b103343d22c)
@@ -45,5 +45,6 @@
 extern uintptr_t last_frame;
 
-extern void frame_arch_init(void);
+extern void frame_low_arch_init(void);
+extern void frame_high_arch_init(void);
 extern void physmem_print(void);
 
Index: kernel/arch/ia32/src/mm/frame.c
===================================================================
--- kernel/arch/ia32/src/mm/frame.c	(revision ec1c8e6e352b3d48ddb5e318e01afc0a65d3b57a)
+++ kernel/arch/ia32/src/mm/frame.c	(revision ddcc8a0d63f8ff64bcff9151c6d65b103343d22c)
@@ -179,5 +179,5 @@
 
 
-void frame_arch_init(void)
+void frame_low_arch_init(void)
 {
 	pfn_t minconf;
@@ -206,4 +206,8 @@
 }
 
+void frame_high_arch_init(void)
+{
+}
+
 /** @}
  */
Index: kernel/arch/ia64/include/mm/frame.h
===================================================================
--- kernel/arch/ia64/include/mm/frame.h	(revision ec1c8e6e352b3d48ddb5e318e01afc0a65d3b57a)
+++ kernel/arch/ia64/include/mm/frame.h	(revision ddcc8a0d63f8ff64bcff9151c6d65b103343d22c)
@@ -45,5 +45,6 @@
 extern uintptr_t last_frame;
 
-extern void frame_arch_init(void);
+extern void frame_low_arch_init(void);
+extern void frame_high_arch_init(void);
 #define physmem_print()
 
Index: kernel/arch/ia64/src/mm/frame.c
===================================================================
--- kernel/arch/ia64/src/mm/frame.c	(revision ec1c8e6e352b3d48ddb5e318e01afc0a65d3b57a)
+++ kernel/arch/ia64/src/mm/frame.c	(revision ddcc8a0d63f8ff64bcff9151c6d65b103343d22c)
@@ -53,5 +53,5 @@
 uintptr_t last_frame = 0;
 
-void frame_arch_init(void)
+void frame_low_arch_init(void)
 {
 	if (config.cpu_active == 1) {
@@ -88,4 +88,8 @@
 }
 
+void frame_high_arch_init(void)
+{
+}
+
 /** @}
  */
Index: kernel/arch/mips32/include/mm/frame.h
===================================================================
--- kernel/arch/mips32/include/mm/frame.h	(revision ec1c8e6e352b3d48ddb5e318e01afc0a65d3b57a)
+++ kernel/arch/mips32/include/mm/frame.h	(revision ddcc8a0d63f8ff64bcff9151c6d65b103343d22c)
@@ -41,5 +41,6 @@
 #ifndef __ASM__
 
-extern void frame_arch_init(void);
+extern void frame_low_arch_init(void);
+extern void frame_high_arch_init(void);
 extern void physmem_print(void);
 
Index: kernel/arch/mips32/src/mm/frame.c
===================================================================
--- kernel/arch/mips32/src/mm/frame.c	(revision ec1c8e6e352b3d48ddb5e318e01afc0a65d3b57a)
+++ kernel/arch/mips32/src/mm/frame.c	(revision ddcc8a0d63f8ff64bcff9151c6d65b103343d22c)
@@ -165,5 +165,5 @@
  *
  */
-void frame_arch_init(void)
+void frame_low_arch_init(void)
 {
 	ipl_t ipl = interrupts_disable();
@@ -246,4 +246,7 @@
 }
 
+void frame_high_arch_init(void)
+{
+}
 
 void physmem_print(void)
Index: kernel/arch/mips64/include/mm/frame.h
===================================================================
--- kernel/arch/mips64/include/mm/frame.h	(revision ec1c8e6e352b3d48ddb5e318e01afc0a65d3b57a)
+++ kernel/arch/mips64/include/mm/frame.h	(revision ddcc8a0d63f8ff64bcff9151c6d65b103343d22c)
@@ -41,5 +41,6 @@
 #ifndef __ASM__
 
-extern void frame_arch_init(void);
+extern void frame_low_arch_init(void);
+extern void frame_high_arch_init(void);
 extern void physmem_print(void);
 
Index: kernel/arch/mips64/src/mm/frame.c
===================================================================
--- kernel/arch/mips64/src/mm/frame.c	(revision ec1c8e6e352b3d48ddb5e318e01afc0a65d3b57a)
+++ kernel/arch/mips64/src/mm/frame.c	(revision ddcc8a0d63f8ff64bcff9151c6d65b103343d22c)
@@ -156,5 +156,5 @@
  *
  */
-void frame_arch_init(void)
+void frame_low_arch_init(void)
 {
 	ipl_t ipl = interrupts_disable();
@@ -229,4 +229,8 @@
 }
 
+void frame_high_arch_init(void)
+{
+}
+
 void physmem_print(void)
 {
Index: kernel/arch/ppc32/include/mm/frame.h
===================================================================
--- kernel/arch/ppc32/include/mm/frame.h	(revision ec1c8e6e352b3d48ddb5e318e01afc0a65d3b57a)
+++ kernel/arch/ppc32/include/mm/frame.h	(revision ddcc8a0d63f8ff64bcff9151c6d65b103343d22c)
@@ -58,5 +58,6 @@
 }
 
-extern void frame_arch_init(void);
+extern void frame_low_arch_init(void);
+extern void frame_high_arch_init(void);
 extern void physmem_print(void);
 
Index: kernel/arch/ppc32/src/mm/frame.c
===================================================================
--- kernel/arch/ppc32/src/mm/frame.c	(revision ec1c8e6e352b3d48ddb5e318e01afc0a65d3b57a)
+++ kernel/arch/ppc32/src/mm/frame.c	(revision ddcc8a0d63f8ff64bcff9151c6d65b103343d22c)
@@ -54,5 +54,5 @@
 }
 
-void frame_arch_init(void)
+void frame_low_arch_init(void)
 {
 	pfn_t minconf = 2;
@@ -92,4 +92,8 @@
 }
 
+void frame_high_arch_init(void)
+{
+}
+
 /** @}
  */
Index: kernel/arch/sparc64/include/mm/sun4u/frame.h
===================================================================
--- kernel/arch/sparc64/include/mm/sun4u/frame.h	(revision ec1c8e6e352b3d48ddb5e318e01afc0a65d3b57a)
+++ kernel/arch/sparc64/include/mm/sun4u/frame.h	(revision ddcc8a0d63f8ff64bcff9151c6d65b103343d22c)
@@ -75,5 +75,6 @@
 extern uintptr_t end_of_identity;
 
-extern void frame_arch_init(void);
+extern void frame_low_arch_init(void);
+extern void frame_high_arch_init(void);
 #define physmem_print()
 
Index: kernel/arch/sparc64/include/mm/sun4v/frame.h
===================================================================
--- kernel/arch/sparc64/include/mm/sun4v/frame.h	(revision ec1c8e6e352b3d48ddb5e318e01afc0a65d3b57a)
+++ kernel/arch/sparc64/include/mm/sun4v/frame.h	(revision ddcc8a0d63f8ff64bcff9151c6d65b103343d22c)
@@ -47,5 +47,6 @@
 
 extern uintptr_t last_frame;
-extern void frame_arch_init(void);
+extern void frame_low_arch_init(void);
+extern void frame_high_arch_init(void);
 #define physmem_print()
 
Index: kernel/arch/sparc64/src/mm/sun4u/frame.c
===================================================================
--- kernel/arch/sparc64/src/mm/sun4u/frame.c	(revision ec1c8e6e352b3d48ddb5e318e01afc0a65d3b57a)
+++ kernel/arch/sparc64/src/mm/sun4u/frame.c	(revision ddcc8a0d63f8ff64bcff9151c6d65b103343d22c)
@@ -47,5 +47,5 @@
  * Walk the memory map and create frame zones according to it.
  */
-void frame_arch_init(void)
+void frame_low_arch_init(void)
 {
 	if (config.cpu_active == 1) {
@@ -87,4 +87,8 @@
 }
 
+void frame_high_arch_init(void)
+{
+}
+
 /** @}
  */
Index: kernel/arch/sparc64/src/mm/sun4v/frame.c
===================================================================
--- kernel/arch/sparc64/src/mm/sun4v/frame.c	(revision ec1c8e6e352b3d48ddb5e318e01afc0a65d3b57a)
+++ kernel/arch/sparc64/src/mm/sun4v/frame.c	(revision ddcc8a0d63f8ff64bcff9151c6d65b103343d22c)
@@ -45,5 +45,5 @@
  * Walk the memory map and create frame zones according to it.
  */
-void frame_arch_init(void)
+void frame_low_arch_init(void)
 {
 	if (config.cpu_active == 1) {
@@ -81,4 +81,8 @@
 }
 
+void frame_high_arch_init(void)
+{
+}
+
 /** @}
  */