Changes in kernel/generic/include/mm/as.h [336db295:d99c1d2] in mainline

File:

• kernel/generic/include/mm/as.h (modified) (2 diffs)

kernel/generic/include/mm/as.h

@@ -37 +37 @@
 
 #ifdef KERNEL
-#include <arch/types.h>
+        #include <typedefs.h>
 #else
-#include <sys/types.h>
+        #include <sys/types.h>
 #endif
 
@@ -65 +65 @@
 #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>