Index: kernel/arch/ia64/include/mm/frame.h
===================================================================
--- kernel/arch/ia64/include/mm/frame.h	(revision 056ddc301e4424ece6667c2456e0e37110d4cdbe)
+++ kernel/arch/ia64/include/mm/frame.h	(revision bb7e6fc5884dcbae04f9a5a148380199a337427f)
@@ -43,6 +43,4 @@
 #include <typedefs.h>
 
-extern uintptr_t last_frame;
-
 extern void frame_low_arch_init(void);
 extern void frame_high_arch_init(void);