Index: kernel/arch/arm32/include/mm/frame.h
===================================================================
--- kernel/arch/arm32/include/mm/frame.h	(revision 77a493aeaf33d7336bb9ff48c3b24021eeaa2bc5)
+++ kernel/arch/arm32/include/mm/frame.h	(revision 9d4e1704695fcf4bdd0d097a2dc12155e07a840f)
@@ -63,5 +63,6 @@
 extern uintptr_t last_frame;
 
-extern void frame_arch_init(void);
+extern void frame_low_arch_init(void);
+extern void frame_high_arch_init(void);
 extern void boot_page_table_free(void);
 #define physmem_print()