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 95e882dbb99acf08dbec02f08677c10516b5d4d9)
@@ -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);
 
Index: kernel/arch/abs32le/src/mm/frame.c
===================================================================
--- kernel/arch/abs32le/src/mm/frame.c	(revision 55896b6837c19f8fe505af9cbe31069aa02c168b)
+++ kernel/arch/abs32le/src/mm/frame.c	(revision 95e882dbb99acf08dbec02f08677c10516b5d4d9)
@@ -50,5 +50,9 @@
 
 
-void frame_arch_init(void)
+void frame_low_arch_init(void)
+{
+}
+
+void frame_high_arch_init(void)
 {
 }