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