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