Changes in kernel/generic/include/mm/as.h [27ba40f:26aafe8] in mainline

File:

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

kernel/generic/include/mm/as.h

@@ -65 +65 @@
 #include <arch/mm/as.h>
 #include <arch/mm/asid.h>
-#include <arch/istate.h>
 #include <typedefs.h>
 #include <synch/spinlock.h>
@@ -255 +254 @@
 
 extern as_operations_t *as_operations;
-extern list_t inactive_as_with_asid_list;
+extern link_t inactive_as_with_asid_head;
 
 extern void as_init(void);