Rev 2134 | Rev 2231 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2134 | Rev 2141 | ||
---|---|---|---|
Line 52... | Line 52... | ||
52 | 52 | ||
53 | #ifdef CONFIG_TSB |
53 | #ifdef CONFIG_TSB |
54 | #include <arch/mm/tsb.h> |
54 | #include <arch/mm/tsb.h> |
55 | #endif |
55 | #endif |
56 | 56 | ||
57 | static void dtlb_pte_copy(pte_t *t, bool ro); |
57 | static void dtlb_pte_copy(pte_t *t, index_t index, bool ro); |
58 | static void itlb_pte_copy(pte_t *t); |
58 | static void itlb_pte_copy(pte_t *t, index_t index); |
59 | static void do_fast_instruction_access_mmu_miss_fault(istate_t *istate, const |
59 | static void do_fast_instruction_access_mmu_miss_fault(istate_t *istate, |
60 | char *str); |
60 | const char *str); |
61 | static void do_fast_data_access_mmu_miss_fault(istate_t *istate, |
61 | static void do_fast_data_access_mmu_miss_fault(istate_t *istate, |
62 | tlb_tag_access_reg_t tag, const char *str); |
62 | tlb_tag_access_reg_t tag, const char *str); |
63 | static void do_fast_data_access_protection_fault(istate_t *istate, |
63 | static void do_fast_data_access_protection_fault(istate_t *istate, |
64 | tlb_tag_access_reg_t tag, const char *str); |
64 | tlb_tag_access_reg_t tag, const char *str); |
65 | 65 | ||
66 | char *context_encoding[] = { |
66 | char *context_encoding[] = { |
67 | "Primary", |
67 | "Primary", |
68 | "Secondary", |
68 | "Secondary", |
69 | "Nucleus", |
69 | "Nucleus", |
Line 90... | Line 90... | ||
90 | * @param frame Physical frame address. |
90 | * @param frame Physical frame address. |
91 | * @param pagesize Page size. |
91 | * @param pagesize Page size. |
92 | * @param locked True for permanent mappings, false otherwise. |
92 | * @param locked True for permanent mappings, false otherwise. |
93 | * @param cacheable True if the mapping is cacheable, false otherwise. |
93 | * @param cacheable True if the mapping is cacheable, false otherwise. |
94 | */ |
94 | */ |
95 | void dtlb_insert_mapping(uintptr_t page, uintptr_t frame, int pagesize, bool |
95 | void dtlb_insert_mapping(uintptr_t page, uintptr_t frame, int pagesize, |
96 | locked, bool cacheable) |
96 | bool locked, bool cacheable) |
97 | { |
97 | { |
98 | tlb_tag_access_reg_t tag; |
98 | tlb_tag_access_reg_t tag; |
99 | tlb_data_t data; |
99 | tlb_data_t data; |
100 | page_address_t pg; |
100 | page_address_t pg; |
101 | frame_address_t fr; |
101 | frame_address_t fr; |
Line 124... | Line 124... | ||
124 | dtlb_data_in_write(data.value); |
124 | dtlb_data_in_write(data.value); |
125 | } |
125 | } |
126 | 126 | ||
127 | /** Copy PTE to TLB. |
127 | /** Copy PTE to TLB. |
128 | * |
128 | * |
129 | * @param t Page Table Entry to be copied. |
129 | * @param t Page Table Entry to be copied. |
- | 130 | * @param index Zero if lower 8K-subpage, one if higher 8K-subpage. |
|
130 | * @param ro If true, the entry will be created read-only, regardless of its w |
131 | * @param ro If true, the entry will be created read-only, regardless of its |
131 | * field. |
132 | * w field. |
132 | */ |
133 | */ |
133 | void dtlb_pte_copy(pte_t *t, bool ro) |
134 | void dtlb_pte_copy(pte_t *t, index_t index, bool ro) |
134 | { |
135 | { |
135 | tlb_tag_access_reg_t tag; |
136 | tlb_tag_access_reg_t tag; |
136 | tlb_data_t data; |
137 | tlb_data_t data; |
137 | page_address_t pg; |
138 | page_address_t pg; |
138 | frame_address_t fr; |
139 | frame_address_t fr; |
139 | 140 | ||
140 | pg.address = t->page; |
141 | pg.address = t->page + (index << MMU_PAGE_WIDTH); |
141 | fr.address = t->frame; |
142 | fr.address = t->frame + (index << MMU_PAGE_WIDTH); |
142 | 143 | ||
143 | tag.value = 0; |
144 | tag.value = 0; |
144 | tag.context = t->as->asid; |
145 | tag.context = t->as->asid; |
145 | tag.vpn = pg.vpn; |
146 | tag.vpn = pg.vpn; |
146 | 147 | ||
147 | dtlb_tag_access_write(tag.value); |
148 | dtlb_tag_access_write(tag.value); |
148 | 149 | ||
149 | data.value = 0; |
150 | data.value = 0; |
150 | data.v = true; |
151 | data.v = true; |
151 | data.size = PAGESIZE_8K; |
152 | data.size = PAGESIZE_8K; |
152 | data.pfn = fr.pfn; |
153 | data.pfn = fr.pfn; |
153 | data.l = false; |
154 | data.l = false; |
Line 156... | Line 157... | ||
156 | data.cv = t->c; |
157 | data.cv = t->c; |
157 | #endif /* CONFIG_VIRT_IDX_DCACHE */ |
158 | #endif /* CONFIG_VIRT_IDX_DCACHE */ |
158 | data.p = t->k; /* p like privileged */ |
159 | data.p = t->k; /* p like privileged */ |
159 | data.w = ro ? false : t->w; |
160 | data.w = ro ? false : t->w; |
160 | data.g = t->g; |
161 | data.g = t->g; |
161 | 162 | ||
162 | dtlb_data_in_write(data.value); |
163 | dtlb_data_in_write(data.value); |
163 | } |
164 | } |
164 | 165 | ||
165 | /** Copy PTE to ITLB. |
166 | /** Copy PTE to ITLB. |
166 | * |
167 | * |
167 | * @param t Page Table Entry to be copied. |
168 | * @param t Page Table Entry to be copied. |
- | 169 | * @param index Zero if lower 8K-subpage, one if higher 8K-subpage. |
|
168 | */ |
170 | */ |
169 | void itlb_pte_copy(pte_t *t) |
171 | void itlb_pte_copy(pte_t *t, index_t index) |
170 | { |
172 | { |
171 | tlb_tag_access_reg_t tag; |
173 | tlb_tag_access_reg_t tag; |
172 | tlb_data_t data; |
174 | tlb_data_t data; |
173 | page_address_t pg; |
175 | page_address_t pg; |
174 | frame_address_t fr; |
176 | frame_address_t fr; |
175 | 177 | ||
176 | pg.address = t->page; |
178 | pg.address = t->page + (index << MMU_PAGE_WIDTH); |
177 | fr.address = t->frame; |
179 | fr.address = t->frame + (index << MMU_PAGE_WIDTH); |
178 | 180 | ||
179 | tag.value = 0; |
181 | tag.value = 0; |
180 | tag.context = t->as->asid; |
182 | tag.context = t->as->asid; |
181 | tag.vpn = pg.vpn; |
183 | tag.vpn = pg.vpn; |
182 | 184 | ||
Line 197... | Line 199... | ||
197 | 199 | ||
198 | /** ITLB miss handler. */ |
200 | /** ITLB miss handler. */ |
199 | void fast_instruction_access_mmu_miss(int n, istate_t *istate) |
201 | void fast_instruction_access_mmu_miss(int n, istate_t *istate) |
200 | { |
202 | { |
201 | uintptr_t va = ALIGN_DOWN(istate->tpc, PAGE_SIZE); |
203 | uintptr_t va = ALIGN_DOWN(istate->tpc, PAGE_SIZE); |
- | 204 | index_t index = (istate->tpc >> MMU_PAGE_WIDTH) % MMU_PAGES_PER_PAGE; |
|
202 | pte_t *t; |
205 | pte_t *t; |
203 | 206 | ||
204 | page_table_lock(AS, true); |
207 | page_table_lock(AS, true); |
205 | t = page_mapping_find(AS, va); |
208 | t = page_mapping_find(AS, va); |
206 | if (t && PTE_EXECUTABLE(t)) { |
209 | if (t && PTE_EXECUTABLE(t)) { |
207 | /* |
210 | /* |
208 | * The mapping was found in the software page hash table. |
211 | * The mapping was found in the software page hash table. |
209 | * Insert it into ITLB. |
212 | * Insert it into ITLB. |
210 | */ |
213 | */ |
211 | t->a = true; |
214 | t->a = true; |
212 | itlb_pte_copy(t); |
215 | itlb_pte_copy(t, index); |
213 | #ifdef CONFIG_TSB |
216 | #ifdef CONFIG_TSB |
214 | itsb_pte_copy(t); |
217 | itsb_pte_copy(t, index); |
215 | #endif |
218 | #endif |
216 | page_table_unlock(AS, true); |
219 | page_table_unlock(AS, true); |
217 | } else { |
220 | } else { |
218 | /* |
221 | /* |
219 | * Forward the page fault to the address space page fault |
222 | * Forward the page fault to the address space page fault |
220 | * handler. |
223 | * handler. |
221 | */ |
224 | */ |
222 | page_table_unlock(AS, true); |
225 | page_table_unlock(AS, true); |
223 | if (as_page_fault(va, PF_ACCESS_EXEC, istate) == AS_PF_FAULT) { |
226 | if (as_page_fault(va, PF_ACCESS_EXEC, istate) == AS_PF_FAULT) { |
224 | do_fast_instruction_access_mmu_miss_fault(istate, |
227 | do_fast_instruction_access_mmu_miss_fault(istate, |
225 | __FUNCTION__); |
228 | __FUNCTION__); |
226 | } |
229 | } |
227 | } |
230 | } |
228 | } |
231 | } |
229 | 232 | ||
230 | /** DTLB miss handler. |
233 | /** DTLB miss handler. |
Line 234... | Line 237... | ||
234 | */ |
237 | */ |
235 | void fast_data_access_mmu_miss(int n, istate_t *istate) |
238 | void fast_data_access_mmu_miss(int n, istate_t *istate) |
236 | { |
239 | { |
237 | tlb_tag_access_reg_t tag; |
240 | tlb_tag_access_reg_t tag; |
238 | uintptr_t va; |
241 | uintptr_t va; |
- | 242 | index_t index; |
|
239 | pte_t *t; |
243 | pte_t *t; |
240 | 244 | ||
241 | tag.value = dtlb_tag_access_read(); |
245 | tag.value = dtlb_tag_access_read(); |
- | 246 | va = ALIGN_DOWN((uint64_t) tag.vpn << MMU_PAGE_WIDTH, PAGE_SIZE); |
|
242 | va = tag.vpn << PAGE_WIDTH; |
247 | index = tag.vpn % MMU_PAGES_PER_PAGE; |
243 | 248 | ||
244 | if (tag.context == ASID_KERNEL) { |
249 | if (tag.context == ASID_KERNEL) { |
245 | if (!tag.vpn) { |
250 | if (!tag.vpn) { |
246 | /* NULL access in kernel */ |
251 | /* NULL access in kernel */ |
247 | do_fast_data_access_mmu_miss_fault(istate, tag, |
252 | do_fast_data_access_mmu_miss_fault(istate, tag, |
248 | __FUNCTION__); |
253 | __FUNCTION__); |
249 | } |
254 | } |
250 | do_fast_data_access_mmu_miss_fault(istate, tag, "Unexpected " |
255 | do_fast_data_access_mmu_miss_fault(istate, tag, "Unexpected " |
251 | "kernel page fault."); |
256 | "kernel page fault."); |
252 | } |
257 | } |
253 | 258 | ||
254 | page_table_lock(AS, true); |
259 | page_table_lock(AS, true); |
255 | t = page_mapping_find(AS, va); |
260 | t = page_mapping_find(AS, va); |
256 | if (t) { |
261 | if (t) { |
257 | /* |
262 | /* |
258 | * The mapping was found in the software page hash table. |
263 | * The mapping was found in the software page hash table. |
259 | * Insert it into DTLB. |
264 | * Insert it into DTLB. |
260 | */ |
265 | */ |
261 | t->a = true; |
266 | t->a = true; |
262 | dtlb_pte_copy(t, true); |
267 | dtlb_pte_copy(t, index, true); |
263 | #ifdef CONFIG_TSB |
268 | #ifdef CONFIG_TSB |
264 | dtsb_pte_copy(t, true); |
269 | dtsb_pte_copy(t, index, true); |
265 | #endif |
270 | #endif |
266 | page_table_unlock(AS, true); |
271 | page_table_unlock(AS, true); |
267 | } else { |
272 | } else { |
268 | /* |
273 | /* |
269 | * Forward the page fault to the address space page fault handler. |
274 | * Forward the page fault to the address space page fault |
- | 275 | * handler. |
|
270 | */ |
276 | */ |
271 | page_table_unlock(AS, true); |
277 | page_table_unlock(AS, true); |
272 | if (as_page_fault(va, PF_ACCESS_READ, istate) == AS_PF_FAULT) { |
278 | if (as_page_fault(va, PF_ACCESS_READ, istate) == AS_PF_FAULT) { |
273 | do_fast_data_access_mmu_miss_fault(istate, tag, |
279 | do_fast_data_access_mmu_miss_fault(istate, tag, |
274 | __FUNCTION__); |
280 | __FUNCTION__); |
275 | } |
281 | } |
276 | } |
282 | } |
277 | } |
283 | } |
278 | 284 | ||
279 | /** DTLB protection fault handler. */ |
285 | /** DTLB protection fault handler. */ |
280 | void fast_data_access_protection(int n, istate_t *istate) |
286 | void fast_data_access_protection(int n, istate_t *istate) |
281 | { |
287 | { |
282 | tlb_tag_access_reg_t tag; |
288 | tlb_tag_access_reg_t tag; |
283 | uintptr_t va; |
289 | uintptr_t va; |
- | 290 | index_t index; |
|
284 | pte_t *t; |
291 | pte_t *t; |
285 | 292 | ||
286 | tag.value = dtlb_tag_access_read(); |
293 | tag.value = dtlb_tag_access_read(); |
287 | va = tag.vpn << PAGE_WIDTH; |
294 | va = ALIGN_DOWN((uint64_t) tag.vpn << MMU_PAGE_WIDTH, PAGE_SIZE); |
- | 295 | index = tag.vpn % MMU_PAGES_PER_PAGE; /* 16K-page emulation */ |
|
288 | 296 | ||
289 | page_table_lock(AS, true); |
297 | page_table_lock(AS, true); |
290 | t = page_mapping_find(AS, va); |
298 | t = page_mapping_find(AS, va); |
291 | if (t && PTE_WRITABLE(t)) { |
299 | if (t && PTE_WRITABLE(t)) { |
292 | /* |
300 | /* |
Line 294... | Line 302... | ||
294 | * writable. Demap the old mapping and insert an updated mapping |
302 | * writable. Demap the old mapping and insert an updated mapping |
295 | * into DTLB. |
303 | * into DTLB. |
296 | */ |
304 | */ |
297 | t->a = true; |
305 | t->a = true; |
298 | t->d = true; |
306 | t->d = true; |
299 | dtlb_demap(TLB_DEMAP_PAGE, TLB_DEMAP_SECONDARY, va); |
307 | dtlb_demap(TLB_DEMAP_PAGE, TLB_DEMAP_SECONDARY, |
- | 308 | va + index * MMU_PAGE_SIZE); |
|
300 | dtlb_pte_copy(t, false); |
309 | dtlb_pte_copy(t, index, false); |
301 | #ifdef CONFIG_TSB |
310 | #ifdef CONFIG_TSB |
302 | dtsb_pte_copy(t, false); |
311 | dtsb_pte_copy(t, index, false); |
303 | #endif |
312 | #endif |
304 | page_table_unlock(AS, true); |
313 | page_table_unlock(AS, true); |
305 | } else { |
314 | } else { |
306 | /* |
315 | /* |
307 | * Forward the page fault to the address space page fault |
316 | * Forward the page fault to the address space page fault |
308 | * handler. |
317 | * handler. |
309 | */ |
318 | */ |
310 | page_table_unlock(AS, true); |
319 | page_table_unlock(AS, true); |
311 | if (as_page_fault(va, PF_ACCESS_WRITE, istate) == AS_PF_FAULT) { |
320 | if (as_page_fault(va, PF_ACCESS_WRITE, istate) == AS_PF_FAULT) { |
312 | do_fast_data_access_protection_fault(istate, tag, |
321 | do_fast_data_access_protection_fault(istate, tag, |
313 | __FUNCTION__); |
322 | __FUNCTION__); |
314 | } |
323 | } |
315 | } |
324 | } |
316 | } |
325 | } |
317 | 326 | ||
318 | /** Print contents of both TLBs. */ |
327 | /** Print contents of both TLBs. */ |
Line 326... | Line 335... | ||
326 | for (i = 0; i < ITLB_ENTRY_COUNT; i++) { |
335 | for (i = 0; i < ITLB_ENTRY_COUNT; i++) { |
327 | d.value = itlb_data_access_read(i); |
336 | d.value = itlb_data_access_read(i); |
328 | t.value = itlb_tag_read_read(i); |
337 | t.value = itlb_tag_read_read(i); |
329 | 338 | ||
330 | printf("%d: vpn=%#llx, context=%d, v=%d, size=%d, nfo=%d, " |
339 | printf("%d: vpn=%#llx, context=%d, v=%d, size=%d, nfo=%d, " |
331 | "ie=%d, soft2=%#x, diag=%#x, pfn=%#x, soft=%#x, l=%d, " |
340 | "ie=%d, soft2=%#x, diag=%#x, pfn=%#x, soft=%#x, l=%d, " |
332 | "cp=%d, cv=%d, e=%d, p=%d, w=%d, g=%d\n", i, t.vpn, |
341 | "cp=%d, cv=%d, e=%d, p=%d, w=%d, g=%d\n", i, t.vpn, |
333 | t.context, d.v, d.size, d.nfo, d.ie, d.soft2, d.diag, |
342 | t.context, d.v, d.size, d.nfo, d.ie, d.soft2, d.diag, |
334 | d.pfn, d.soft, d.l, d.cp, d.cv, d.e, d.p, d.w, d.g); |
343 | d.pfn, d.soft, d.l, d.cp, d.cv, d.e, d.p, d.w, d.g); |
335 | } |
344 | } |
336 | 345 | ||
337 | printf("D-TLB contents:\n"); |
346 | printf("D-TLB contents:\n"); |
338 | for (i = 0; i < DTLB_ENTRY_COUNT; i++) { |
347 | for (i = 0; i < DTLB_ENTRY_COUNT; i++) { |
339 | d.value = dtlb_data_access_read(i); |
348 | d.value = dtlb_data_access_read(i); |
340 | t.value = dtlb_tag_read_read(i); |
349 | t.value = dtlb_tag_read_read(i); |
341 | 350 | ||
342 | printf("%d: vpn=%#llx, context=%d, v=%d, size=%d, nfo=%d, " |
351 | printf("%d: vpn=%#llx, context=%d, v=%d, size=%d, nfo=%d, " |
343 | "ie=%d, soft2=%#x, diag=%#x, pfn=%#x, soft=%#x, l=%d, " |
352 | "ie=%d, soft2=%#x, diag=%#x, pfn=%#x, soft=%#x, l=%d, " |
344 | "cp=%d, cv=%d, e=%d, p=%d, w=%d, g=%d\n", i, t.vpn, |
353 | "cp=%d, cv=%d, e=%d, p=%d, w=%d, g=%d\n", i, t.vpn, |
345 | t.context, d.v, d.size, d.nfo, d.ie, d.soft2, d.diag, |
354 | t.context, d.v, d.size, d.nfo, d.ie, d.soft2, d.diag, |
346 | d.pfn, d.soft, d.l, d.cp, d.cv, d.e, d.p, d.w, d.g); |
355 | d.pfn, d.soft, d.l, d.cp, d.cv, d.e, d.p, d.w, d.g); |
347 | } |
356 | } |
348 | 357 | ||
349 | } |
358 | } |
350 | 359 | ||
351 | void do_fast_instruction_access_mmu_miss_fault(istate_t *istate, const char |
360 | void do_fast_instruction_access_mmu_miss_fault(istate_t *istate, |
352 | *str) |
361 | const char *str) |
353 | { |
362 | { |
354 | fault_if_from_uspace(istate, "%s\n", str); |
363 | fault_if_from_uspace(istate, "%s\n", str); |
355 | dump_istate(istate); |
364 | dump_istate(istate); |
356 | panic("%s\n", str); |
365 | panic("%s\n", str); |
357 | } |
366 | } |
358 | 367 | ||
359 | void do_fast_data_access_mmu_miss_fault(istate_t *istate, tlb_tag_access_reg_t |
368 | void do_fast_data_access_mmu_miss_fault(istate_t *istate, |
360 | tag, const char *str) |
369 | tlb_tag_access_reg_t tag, const char *str) |
361 | { |
370 | { |
362 | uintptr_t va; |
371 | uintptr_t va; |
363 | 372 | ||
364 | va = tag.vpn << PAGE_WIDTH; |
373 | va = tag.vpn << MMU_PAGE_WIDTH; |
365 | 374 | ||
366 | fault_if_from_uspace(istate, "%s, Page=%p (ASID=%d)\n", str, va, |
375 | fault_if_from_uspace(istate, "%s, Page=%p (ASID=%d)\n", str, va, |
367 | tag.context); |
376 | tag.context); |
368 | dump_istate(istate); |
377 | dump_istate(istate); |
369 | printf("Faulting page: %p, ASID=%d\n", va, tag.context); |
378 | printf("Faulting page: %p, ASID=%d\n", va, tag.context); |
370 | panic("%s\n", str); |
379 | panic("%s\n", str); |
371 | } |
380 | } |
372 | 381 | ||
373 | void do_fast_data_access_protection_fault(istate_t *istate, tlb_tag_access_reg_t |
382 | void do_fast_data_access_protection_fault(istate_t *istate, |
374 | tag, const char *str) |
383 | tlb_tag_access_reg_t tag, const char *str) |
375 | { |
384 | { |
376 | uintptr_t va; |
385 | uintptr_t va; |
377 | 386 | ||
378 | va = tag.vpn << PAGE_WIDTH; |
387 | va = tag.vpn << MMU_PAGE_WIDTH; |
379 | 388 | ||
380 | fault_if_from_uspace(istate, "%s, Page=%p (ASID=%d)\n", str, va, |
389 | fault_if_from_uspace(istate, "%s, Page=%p (ASID=%d)\n", str, va, |
381 | tag.context); |
390 | tag.context); |
382 | printf("Faulting page: %p, ASID=%d\n", va, tag.context); |
391 | printf("Faulting page: %p, ASID=%d\n", va, tag.context); |
383 | dump_istate(istate); |
392 | dump_istate(istate); |
384 | panic("%s\n", str); |
393 | panic("%s\n", str); |
385 | } |
394 | } |
386 | 395 | ||
Line 391... | Line 400... | ||
391 | 400 | ||
392 | sfsr.value = dtlb_sfsr_read(); |
401 | sfsr.value = dtlb_sfsr_read(); |
393 | sfar = dtlb_sfar_read(); |
402 | sfar = dtlb_sfar_read(); |
394 | 403 | ||
395 | printf("DTLB SFSR: asi=%#x, ft=%#x, e=%d, ct=%d, pr=%d, w=%d, ow=%d, " |
404 | printf("DTLB SFSR: asi=%#x, ft=%#x, e=%d, ct=%d, pr=%d, w=%d, ow=%d, " |
396 | "fv=%d\n", sfsr.asi, sfsr.ft, sfsr.e, sfsr.ct, sfsr.pr, sfsr.w, |
405 | "fv=%d\n", sfsr.asi, sfsr.ft, sfsr.e, sfsr.ct, sfsr.pr, sfsr.w, |
397 | sfsr.ow, sfsr.fv); |
406 | sfsr.ow, sfsr.fv); |
398 | printf("DTLB SFAR: address=%p\n", sfar); |
407 | printf("DTLB SFAR: address=%p\n", sfar); |
399 | 408 | ||
400 | dtlb_sfsr_write(0); |
409 | dtlb_sfsr_write(0); |
401 | } |
410 | } |
402 | 411 | ||
Line 479... | Line 488... | ||
479 | 488 | ||
480 | ctx.v = pc_save.v = mmu_primary_context_read(); |
489 | ctx.v = pc_save.v = mmu_primary_context_read(); |
481 | ctx.context = asid; |
490 | ctx.context = asid; |
482 | mmu_primary_context_write(ctx.v); |
491 | mmu_primary_context_write(ctx.v); |
483 | 492 | ||
484 | for (i = 0; i < cnt; i++) { |
493 | for (i = 0; i < cnt * MMU_PAGES_PER_PAGE; i++) { |
485 | itlb_demap(TLB_DEMAP_PAGE, TLB_DEMAP_PRIMARY, |
494 | itlb_demap(TLB_DEMAP_PAGE, TLB_DEMAP_PRIMARY, |
486 | page + i * PAGE_SIZE); |
495 | page + i * MMU_PAGE_SIZE); |
487 | dtlb_demap(TLB_DEMAP_PAGE, TLB_DEMAP_PRIMARY, |
496 | dtlb_demap(TLB_DEMAP_PAGE, TLB_DEMAP_PRIMARY, |
488 | page + i * PAGE_SIZE); |
497 | page + i * MMU_PAGE_SIZE); |
489 | } |
498 | } |
490 | 499 | ||
491 | mmu_primary_context_write(pc_save.v); |
500 | mmu_primary_context_write(pc_save.v); |
492 | 501 | ||
493 | nucleus_leave(); |
502 | nucleus_leave(); |