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 12bef5bfd72e208a4b2624a29343e46b8fb1eded)
@@ -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>