Index: kernel/generic/include/mm/as.h
===================================================================
--- kernel/generic/include/mm/as.h	(revision 336db2955b9fd1ee85c8818b9408bc4e9dad9fc2)
+++ kernel/generic/include/mm/as.h	(revision 5cbb170bf59645e36db43f56cfde6eb73e70c204)
@@ -37,7 +37,7 @@
 
 #ifdef KERNEL
-#include <arch/types.h>
+	#include <typedefs.h>
 #else
-#include <sys/types.h>
+	#include <sys/types.h>
 #endif
 
@@ -65,5 +65,5 @@
 #include <arch/mm/as.h>
 #include <arch/mm/asid.h>
-#include <arch/types.h>
+#include <typedefs.h>
 #include <synch/spinlock.h>
 #include <synch/mutex.h>