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); |