Rev 2009 | Rev 2089 | 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 |