Index: kernel/generic/include/mm/as.h
===================================================================
--- kernel/generic/include/mm/as.h	(revision 7250d2ce7d5ccaadad51f64c98445fd7e57e998f)
+++ kernel/generic/include/mm/as.h	(revision 3f08fd2b9072227f3006fed60b75c6f38e7ac5d9)
@@ -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>