Rev 2009 | Rev 2071 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2009 | Rev 2015 | ||
|---|---|---|---|
| Line 92... | Line 92... | ||
| 92 | pte_t *page_table; |
92 | pte_t *page_table; |
| 93 | 93 | ||
| 94 | /** Address space identifier. Constant on architectures that do not support ASIDs.*/ |
94 | /** Address space identifier. Constant on architectures that do not support ASIDs.*/ |
| 95 | asid_t asid; |
95 | asid_t asid; |
| 96 | 96 | ||
| 97 | #ifdef CONFIG_VIRT_IDX_DCACHE |
- | |
| 98 | bool dcache_flush_on_install; |
- | |
| 99 | bool dcache_flush_on_deinstall; |
- | |
| 100 | #endif /* CONFIG_VIRT_IDX_DCACHE */ |
- | |
| 101 | - | ||
| 102 | /** Architecture specific content. */ |
97 | /** Architecture specific content. */ |
| 103 | as_arch_t arch; |
98 | as_arch_t arch; |
| 104 | }; |
99 | }; |
| 105 | 100 | ||
| 106 | struct as_operations { |
101 | struct as_operations { |
| Line 163... | Line 158... | ||
| 163 | reference the share info structure. */ |
158 | reference the share info structure. */ |
| 164 | mem_backend_t *backend; /**< Memory backend backing this address space area. */ |
159 | mem_backend_t *backend; /**< Memory backend backing this address space area. */ |
| 165 | 160 | ||
| 166 | /** Data to be used by the backend. */ |
161 | /** Data to be used by the backend. */ |
| 167 | mem_backend_data_t backend_data; |
162 | mem_backend_data_t backend_data; |
| 168 | - | ||
| 169 | /** |
- | |
| 170 | * Virtual color of the original address space area that was at the beginning |
- | |
| 171 | * of the share chain. |
- | |
| 172 | */ |
- | |
| 173 | int orig_color; |
- | |
| 174 | }; |
163 | }; |
| 175 | 164 | ||
| 176 | extern as_t *AS_KERNEL; |
165 | extern as_t *AS_KERNEL; |
| 177 | extern as_operations_t *as_operations; |
166 | extern as_operations_t *as_operations; |
| 178 | 167 | ||