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 8bdcffa853c11b32f7445df1a38ecc63fec8d0e3)
@@ -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()
Index: kernel/arch/arm32/src/mm/frame.c
===================================================================
--- kernel/arch/arm32/src/mm/frame.c	(revision 77a493aeaf33d7336bb9ff48c3b24021eeaa2bc5)
+++ kernel/arch/arm32/src/mm/frame.c	(revision 8bdcffa853c11b32f7445df1a38ecc63fec8d0e3)
@@ -39,4 +39,5 @@
 #include <config.h>
 #include <align.h>
+#include <macros.h>
 
 /** Address of the last frame in the memory. */
@@ -44,5 +45,5 @@
 
 /** Creates memory zones. */
-void frame_arch_init(void)
+void frame_low_arch_init(void)
 {
 	uintptr_t mem_start, mem_size;
@@ -66,4 +67,8 @@
 }
 
+void frame_high_arch_init(void)
+{
+}
+
 /** Frees the boot page table. */
 void boot_page_table_free(void)