Rev 1413 | Rev 1417 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1413 | Rev 1415 | ||
|---|---|---|---|
| Line 74... | Line 74... | ||
| 74 | link_t inactive_as_with_asid_link; |
74 | link_t inactive_as_with_asid_link; |
| 75 | 75 | ||
| 76 | mutex_t lock; |
76 | mutex_t lock; |
| 77 | 77 | ||
| 78 | /** Number of processors on wich is this address space active. */ |
78 | /** Number of processors on wich is this address space active. */ |
| 79 | count_t refcount; |
79 | count_t cpu_refcount; |
| 80 | 80 | ||
| 81 | /** B+tree of address space areas. */ |
81 | /** B+tree of address space areas. */ |
| 82 | btree_t as_area_btree; |
82 | btree_t as_area_btree; |
| 83 | 83 | ||
| 84 | /** Page table pointer. Constant on architectures that use global page hash table. */ |
84 | /** Page table pointer. Constant on architectures that use global page hash table. */ |
| Line 132... | Line 132... | ||
| 132 | }; |
132 | }; |
| 133 | 133 | ||
| 134 | extern as_t *AS_KERNEL; |
134 | extern as_t *AS_KERNEL; |
| 135 | extern as_operations_t *as_operations; |
135 | extern as_operations_t *as_operations; |
| 136 | 136 | ||
| 137 | extern spinlock_t as_lock; |
137 | extern spinlock_t inactive_as_with_asid_lock; |
| 138 | extern link_t inactive_as_with_asid_head; |
138 | extern link_t inactive_as_with_asid_head; |
| 139 | 139 | ||
| 140 | extern void as_init(void); |
140 | extern void as_init(void); |
| 141 | extern as_t *as_create(int flags); |
141 | extern as_t *as_create(int flags); |
| 142 | extern as_area_t *as_area_create(as_t *as, int flags, size_t size, __address base, int attrs, |
142 | extern as_area_t *as_area_create(as_t *as, int flags, size_t size, __address base, int attrs, |