Rev 2089 | Rev 2094 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2089 | Rev 2093 | ||
---|---|---|---|
Line 137... | Line 137... | ||
137 | } mem_backend_t; |
137 | } mem_backend_t; |
138 | 138 | ||
139 | extern as_t *AS_KERNEL; |
139 | extern as_t *AS_KERNEL; |
140 | extern as_operations_t *as_operations; |
140 | extern as_operations_t *as_operations; |
141 | 141 | ||
142 | extern spinlock_t inactive_as_with_asid_lock; |
142 | SPINLOCK_EXTERN(inactive_as_with_asid_lock); |
143 | extern link_t inactive_as_with_asid_head; |
143 | extern link_t inactive_as_with_asid_head; |
144 | 144 | ||
145 | extern void as_init(void); |
145 | extern void as_init(void); |
146 | 146 | ||
147 | extern as_t *as_create(int flags); |
147 | extern as_t *as_create(int flags); |