Index: kernel/arch/ia64/src/mm/frame.c
===================================================================
--- kernel/arch/ia64/src/mm/frame.c	(revision e1ed831f96ab81a3ef1141d499a59bf8eb46eee3)
+++ 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)
+{
+}
+
 /** @}
  */