Index: kernel/generic/include/mm/as.h
===================================================================
--- kernel/generic/include/mm/as.h	(revision b366a6f4b86cb7fe82fcf415965c5a7de1a59638)
+++ kernel/generic/include/mm/as.h	(revision 26fb118ae8c0e8bb11d3a2c886dcda94d6a7435b)
@@ -65,4 +65,5 @@
 #include <arch/mm/as.h>
 #include <arch/mm/asid.h>
+#include <arch/istate.h>
 #include <typedefs.h>
 #include <synch/spinlock.h>