Changes in kernel/generic/include/mm/as.h [1558d85:83b6ba9f] in mainline

File:

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

kernel/generic/include/mm/as.h

@@ -42 +42 @@
 #include <arch/mm/asid.h>
 #include <arch/istate.h>
+#include <typedefs.h>
 #include <synch/spinlock.h>
 #include <synch/mutex.h>
@@ -47 +48 @@
 #include <adt/btree.h>
 #include <lib/elf.h>
-#include <arch.h>
-
-#define AS                   THE->as
-
 
 /**