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