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