Index: kernel/arch/ia64/include/mm/frame.h
===================================================================
--- kernel/arch/ia64/include/mm/frame.h	(revision e1ed831f96ab81a3ef1141d499a59bf8eb46eee3)
+++ kernel/arch/ia64/include/mm/frame.h	(revision 9d4e1704695fcf4bdd0d097a2dc12155e07a840f)
@@ -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()