Index: kernel/arch/ia64/include/mm/frame.h
===================================================================
--- kernel/arch/ia64/include/mm/frame.h	(revision 44ff4fb9fbf32f58d6fa97cffdcb4226917d5a68)
+++ kernel/arch/ia64/include/mm/frame.h	(revision 81c8d54932b8d433d80c1e2cc7f3bb31def15d79)
@@ -45,4 +45,5 @@
 
 extern uintptr_t last_frame;
+extern uintptr_t end_frame;
 
 extern void frame_arch_init(void);