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