Index: kernel/arch/arm32/src/mm/as.c
===================================================================
--- kernel/arch/arm32/src/mm/as.c	(revision 646b9960f45edec2b83f4adb3bc5a501c2b28e9b)
+++ kernel/arch/arm32/src/mm/as.c	(revision e15e0e8bcc3e3f28628a17ecc49ae0d7e5c356f8)
@@ -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>