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 40c8c17482d672e755c855c6fd5664b0e933e483)
@@ -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);
Index: kernel/arch/ia64/src/mm/frame.c
===================================================================
--- kernel/arch/ia64/src/mm/frame.c	(revision 056ddc301e4424ece6667c2456e0e37110d4cdbe)
+++ kernel/arch/ia64/src/mm/frame.c	(revision 40c8c17482d672e755c855c6fd5664b0e933e483)
@@ -51,7 +51,4 @@
 #define MINCONF 1
 
-// XXX: remove me
-uintptr_t last_frame = 0;
-
 static void frame_common_arch_init(bool low)
 {
@@ -68,8 +65,4 @@
 		if (size > FRAME_SIZE)
 			size -= abase - base;
-
-		// FIXME: remove me
-		if (abase + size > last_frame)
-			last_frame = abase + size;
 
 		if (!frame_adjust_zone_bounds(low, &abase, &size))