Index: kernel/arch/ia64/include/mm/frame.h
===================================================================
--- kernel/arch/ia64/include/mm/frame.h	(revision 40c8c17482d672e755c855c6fd5664b0e933e483)
+++ kernel/arch/ia64/include/mm/frame.h	(revision 9f0fb84554fbd63dc9ce4dc9ce31b209431459f9)
@@ -43,4 +43,6 @@
 #include <typedefs.h>
 
+extern uintptr_t end_of_identity;
+
 extern void frame_low_arch_init(void);
 extern void frame_high_arch_init(void);