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 44ff4fb9fbf32f58d6fa97cffdcb4226917d5a68)
@@ -42,4 +42,8 @@
 #ifndef __ASM__
 
+#include <arch/types.h>
+
+extern uintptr_t last_frame;
+
 extern void frame_arch_init(void);
 #define physmem_print()