Index: kernel/arch/ia64/include/mm/frame.h
===================================================================
--- kernel/arch/ia64/include/mm/frame.h	(revision 8b4d6cbc48b833752f89ebc4578be4f2b25bc3b9)
+++ kernel/arch/ia64/include/mm/frame.h	(revision f2451459eff17f8a5c730a385925d2af36865089)
@@ -42,4 +42,8 @@
 #ifndef __ASM__
 
+#include <arch/types.h>
+
+extern uintptr_t last_frame;
+
 extern void frame_arch_init(void);
 #define physmem_print()