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 00aece0f4f90a094c54cb53169457a54b87db366)
@@ -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);