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 80d301abc87d7f1edcfb429ae91650829c1849bf)
@@ -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()