Index: kernel/arch/abs32le/include/mm/frame.h
===================================================================
--- kernel/arch/abs32le/include/mm/frame.h	(revision 55896b6837c19f8fe505af9cbe31069aa02c168b)
+++ kernel/arch/abs32le/include/mm/frame.h	(revision 80d301abc87d7f1edcfb429ae91650829c1849bf)
@@ -41,5 +41,6 @@
 #include <typedefs.h>
 
-extern void frame_arch_init(void);
+extern void frame_low_arch_init(void);
+extern void frame_high_arch_init(void);
 extern void physmem_print(void);
 
