Index: generic/src/mm/as.c
===================================================================
--- generic/src/mm/as.c	(revision 23684b75fbd877e18cebd073cdb4a435652e8c2c)
+++ generic/src/mm/as.c	(revision 9cbd27bda027a69ffbcba03ec98a8179d37e83f0)
@@ -41,4 +41,5 @@
 #include <arch/mm/page.h>
 #include <genarch/mm/page_pt.h>
+#include <genarch/mm/page_ht.h>
 #include <mm/asid.h>
 #include <arch/mm/asid.h>