Rev 2000 | Rev 2015 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2000 | Rev 2009 | ||
|---|---|---|---|
| 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 | ||
| 97 | /** Architecture specific content. */ |
102 | /** Architecture specific content. */ |
| 98 | as_arch_t arch; |
103 | as_arch_t arch; |
| 99 | }; |
104 | }; |
| 100 | 105 | ||
| 101 | struct as_operations { |
106 | struct as_operations { |
| Line 158... | Line 163... | ||
| 158 | reference the share info structure. */ |
163 | reference the share info structure. */ |
| 159 | mem_backend_t *backend; /**< Memory backend backing this address space area. */ |
164 | mem_backend_t *backend; /**< Memory backend backing this address space area. */ |
| 160 | 165 | ||
| 161 | /** Data to be used by the backend. */ |
166 | /** Data to be used by the backend. */ |
| 162 | mem_backend_data_t backend_data; |
167 | 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; |
|
| 163 | }; |
174 | }; |
| 164 | 175 | ||
| 165 | extern as_t *AS_KERNEL; |
176 | extern as_t *AS_KERNEL; |
| 166 | extern as_operations_t *as_operations; |
177 | extern as_operations_t *as_operations; |
| 167 | 178 | ||