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 ddcc8a0d63f8ff64bcff9151c6d65b103343d22c)
@@ -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)