Index: kernel/arch/ia64/include/mm/frame.h
===================================================================
--- kernel/arch/ia64/include/mm/frame.h	(revision 1b478f661c486eaaf171a6561c652459502ed22f)
+++ kernel/arch/ia64/include/mm/frame.h	(revision 41deb2ae92352629298dc5b5343d48f3edee449f)
@@ -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);