Index: kernel/arch/ia32/include/mm/frame.h
===================================================================
--- kernel/arch/ia32/include/mm/frame.h	(revision 2d96f4dffc66f5f4b788d135403a80c661ee1d92)
+++ kernel/arch/ia32/include/mm/frame.h	(revision e45a3b956a50d651b4b2367622385152bfc43b08)
@@ -45,4 +45,5 @@
 
 extern uintptr_t last_frame;
+extern uintptr_t end_frame;
 
 extern void frame_arch_init(void);