Index: kernel/arch/arm32/src/mm/as.c
===================================================================
--- kernel/arch/arm32/src/mm/as.c	(revision c09adc10434b7de65842eae8fc63537922e8c7d6)
+++ kernel/arch/arm32/src/mm/as.c	(revision eae4e8fa7dfec64f319138584d0480c91f7579ca)
@@ -36,4 +36,5 @@
 #include <arch/mm/as.h>
 #include <genarch/mm/as_pt.h>
+#include <genarch/mm/page_pt.h>
 #include <genarch/mm/asid_fifo.h>
 #include <mm/as.h>