Index: generic/src/mm/as.c
===================================================================
--- generic/src/mm/as.c	(revision 23684b75fbd877e18cebd073cdb4a435652e8c2c)
+++ generic/src/mm/as.c	(revision e1be3b6b980efbd59c66cd0b6f3c2dc4a505b824)
@@ -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>