Index: kernel/arch/ia32/include/mm/frame.h
===================================================================
--- kernel/arch/ia32/include/mm/frame.h	(revision ddcc8a0d63f8ff64bcff9151c6d65b103343d22c)
+++ kernel/arch/ia32/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);