Rev 2048 | Rev 2078 | Go to most recent revision | Details | Compare with Previous | Last modification | View Log | RSS feed
Rev | Author | Line No. | Line |
---|---|---|---|
570 | jermar | 1 | /* |
2071 | jermar | 2 | * Copyright (c) 2005 Jakub Jermar |
570 | jermar | 3 | * All rights reserved. |
4 | * |
||
5 | * Redistribution and use in source and binary forms, with or without |
||
6 | * modification, are permitted provided that the following conditions |
||
7 | * are met: |
||
8 | * |
||
9 | * - Redistributions of source code must retain the above copyright |
||
10 | * notice, this list of conditions and the following disclaimer. |
||
11 | * - Redistributions in binary form must reproduce the above copyright |
||
12 | * notice, this list of conditions and the following disclaimer in the |
||
13 | * documentation and/or other materials provided with the distribution. |
||
14 | * - The name of the author may not be used to endorse or promote products |
||
15 | * derived from this software without specific prior written permission. |
||
16 | * |
||
17 | * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR |
||
18 | * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES |
||
19 | * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. |
||
20 | * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, |
||
21 | * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT |
||
22 | * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, |
||
23 | * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY |
||
24 | * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT |
||
25 | * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF |
||
26 | * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
||
27 | */ |
||
28 | |||
1792 | jermar | 29 | /** @addtogroup sparc64mm |
1702 | cejka | 30 | * @{ |
31 | */ |
||
32 | /** @file |
||
33 | */ |
||
34 | |||
570 | jermar | 35 | #include <arch/mm/tlb.h> |
36 | #include <mm/tlb.h> |
||
1851 | jermar | 37 | #include <mm/as.h> |
38 | #include <mm/asid.h> |
||
619 | jermar | 39 | #include <arch/mm/frame.h> |
40 | #include <arch/mm/page.h> |
||
41 | #include <arch/mm/mmu.h> |
||
1851 | jermar | 42 | #include <arch/interrupt.h> |
1870 | jermar | 43 | #include <interrupt.h> |
1851 | jermar | 44 | #include <arch.h> |
570 | jermar | 45 | #include <print.h> |
617 | jermar | 46 | #include <arch/types.h> |
47 | #include <typedefs.h> |
||
619 | jermar | 48 | #include <config.h> |
630 | jermar | 49 | #include <arch/trap/trap.h> |
1880 | jermar | 50 | #include <arch/trap/exception.h> |
863 | jermar | 51 | #include <panic.h> |
873 | jermar | 52 | #include <arch/asm.h> |
894 | jermar | 53 | |
1891 | jermar | 54 | #ifdef CONFIG_TSB |
55 | #include <arch/mm/tsb.h> |
||
56 | #endif |
||
57 | |||
1852 | jermar | 58 | static void dtlb_pte_copy(pte_t *t, bool ro); |
59 | static void itlb_pte_copy(pte_t *t); |
||
2048 | jermar | 60 | static void do_fast_instruction_access_mmu_miss_fault(istate_t *istate, const |
61 | char *str); |
||
62 | static void do_fast_data_access_mmu_miss_fault(istate_t *istate, |
||
63 | tlb_tag_access_reg_t tag, const char *str); |
||
64 | static void do_fast_data_access_protection_fault(istate_t *istate, |
||
65 | tlb_tag_access_reg_t tag, const char *str); |
||
1851 | jermar | 66 | |
873 | jermar | 67 | char *context_encoding[] = { |
68 | "Primary", |
||
69 | "Secondary", |
||
70 | "Nucleus", |
||
71 | "Reserved" |
||
72 | }; |
||
73 | |||
570 | jermar | 74 | void tlb_arch_init(void) |
75 | { |
||
1793 | jermar | 76 | /* |
1905 | jermar | 77 | * Invalidate all non-locked DTLB and ITLB entries. |
1793 | jermar | 78 | */ |
1905 | jermar | 79 | tlb_invalidate_all(); |
1946 | jermar | 80 | |
81 | /* |
||
82 | * Clear both SFSRs. |
||
83 | */ |
||
84 | dtlb_sfsr_write(0); |
||
85 | itlb_sfsr_write(0); |
||
897 | jermar | 86 | } |
873 | jermar | 87 | |
897 | jermar | 88 | /** Insert privileged mapping into DMMU TLB. |
89 | * |
||
90 | * @param page Virtual page address. |
||
91 | * @param frame Physical frame address. |
||
92 | * @param pagesize Page size. |
||
93 | * @param locked True for permanent mappings, false otherwise. |
||
94 | * @param cacheable True if the mapping is cacheable, false otherwise. |
||
95 | */ |
||
2048 | jermar | 96 | void dtlb_insert_mapping(uintptr_t page, uintptr_t frame, int pagesize, bool |
97 | locked, bool cacheable) |
||
897 | jermar | 98 | { |
99 | tlb_tag_access_reg_t tag; |
||
100 | tlb_data_t data; |
||
101 | page_address_t pg; |
||
102 | frame_address_t fr; |
||
873 | jermar | 103 | |
897 | jermar | 104 | pg.address = page; |
105 | fr.address = frame; |
||
873 | jermar | 106 | |
894 | jermar | 107 | tag.value = ASID_KERNEL; |
108 | tag.vpn = pg.vpn; |
||
109 | |||
110 | dtlb_tag_access_write(tag.value); |
||
111 | |||
112 | data.value = 0; |
||
113 | data.v = true; |
||
897 | jermar | 114 | data.size = pagesize; |
894 | jermar | 115 | data.pfn = fr.pfn; |
897 | jermar | 116 | data.l = locked; |
117 | data.cp = cacheable; |
||
2009 | jermar | 118 | #ifdef CONFIG_VIRT_IDX_DCACHE |
897 | jermar | 119 | data.cv = cacheable; |
2009 | jermar | 120 | #endif /* CONFIG_VIRT_IDX_DCACHE */ |
894 | jermar | 121 | data.p = true; |
122 | data.w = true; |
||
1868 | jermar | 123 | data.g = false; |
894 | jermar | 124 | |
125 | dtlb_data_in_write(data.value); |
||
570 | jermar | 126 | } |
127 | |||
1852 | jermar | 128 | /** Copy PTE to TLB. |
129 | * |
||
130 | * @param t Page Table Entry to be copied. |
||
2048 | jermar | 131 | * @param ro If true, the entry will be created read-only, regardless of its w |
132 | * field. |
||
1852 | jermar | 133 | */ |
134 | void dtlb_pte_copy(pte_t *t, bool ro) |
||
1851 | jermar | 135 | { |
1852 | jermar | 136 | tlb_tag_access_reg_t tag; |
137 | tlb_data_t data; |
||
138 | page_address_t pg; |
||
139 | frame_address_t fr; |
||
140 | |||
141 | pg.address = t->page; |
||
142 | fr.address = t->frame; |
||
143 | |||
144 | tag.value = 0; |
||
145 | tag.context = t->as->asid; |
||
146 | tag.vpn = pg.vpn; |
||
147 | |||
148 | dtlb_tag_access_write(tag.value); |
||
149 | |||
150 | data.value = 0; |
||
151 | data.v = true; |
||
152 | data.size = PAGESIZE_8K; |
||
153 | data.pfn = fr.pfn; |
||
154 | data.l = false; |
||
155 | data.cp = t->c; |
||
2009 | jermar | 156 | #ifdef CONFIG_VIRT_IDX_DCACHE |
1852 | jermar | 157 | data.cv = t->c; |
2009 | jermar | 158 | #endif /* CONFIG_VIRT_IDX_DCACHE */ |
1864 | jermar | 159 | data.p = t->k; /* p like privileged */ |
1852 | jermar | 160 | data.w = ro ? false : t->w; |
161 | data.g = t->g; |
||
162 | |||
163 | dtlb_data_in_write(data.value); |
||
1851 | jermar | 164 | } |
165 | |||
1891 | jermar | 166 | /** Copy PTE to ITLB. |
167 | * |
||
168 | * @param t Page Table Entry to be copied. |
||
169 | */ |
||
1852 | jermar | 170 | void itlb_pte_copy(pte_t *t) |
171 | { |
||
172 | tlb_tag_access_reg_t tag; |
||
173 | tlb_data_t data; |
||
174 | page_address_t pg; |
||
175 | frame_address_t fr; |
||
176 | |||
177 | pg.address = t->page; |
||
178 | fr.address = t->frame; |
||
179 | |||
180 | tag.value = 0; |
||
181 | tag.context = t->as->asid; |
||
182 | tag.vpn = pg.vpn; |
||
183 | |||
184 | itlb_tag_access_write(tag.value); |
||
185 | |||
186 | data.value = 0; |
||
187 | data.v = true; |
||
188 | data.size = PAGESIZE_8K; |
||
189 | data.pfn = fr.pfn; |
||
190 | data.l = false; |
||
191 | data.cp = t->c; |
||
1864 | jermar | 192 | data.p = t->k; /* p like privileged */ |
1852 | jermar | 193 | data.w = false; |
194 | data.g = t->g; |
||
195 | |||
196 | itlb_data_in_write(data.value); |
||
197 | } |
||
198 | |||
863 | jermar | 199 | /** ITLB miss handler. */ |
1851 | jermar | 200 | void fast_instruction_access_mmu_miss(int n, istate_t *istate) |
863 | jermar | 201 | { |
1852 | jermar | 202 | uintptr_t va = ALIGN_DOWN(istate->tpc, PAGE_SIZE); |
203 | pte_t *t; |
||
204 | |||
205 | page_table_lock(AS, true); |
||
206 | t = page_mapping_find(AS, va); |
||
207 | if (t && PTE_EXECUTABLE(t)) { |
||
208 | /* |
||
209 | * The mapping was found in the software page hash table. |
||
210 | * Insert it into ITLB. |
||
211 | */ |
||
212 | t->a = true; |
||
213 | itlb_pte_copy(t); |
||
1891 | jermar | 214 | #ifdef CONFIG_TSB |
215 | itsb_pte_copy(t); |
||
216 | #endif |
||
1852 | jermar | 217 | page_table_unlock(AS, true); |
218 | } else { |
||
219 | /* |
||
2048 | jermar | 220 | * Forward the page fault to the address space page fault |
221 | * handler. |
||
1852 | jermar | 222 | */ |
223 | page_table_unlock(AS, true); |
||
224 | if (as_page_fault(va, PF_ACCESS_EXEC, istate) == AS_PF_FAULT) { |
||
2048 | jermar | 225 | do_fast_instruction_access_mmu_miss_fault(istate, |
226 | __FUNCTION__); |
||
1852 | jermar | 227 | } |
228 | } |
||
863 | jermar | 229 | } |
230 | |||
1851 | jermar | 231 | /** DTLB miss handler. |
232 | * |
||
2048 | jermar | 233 | * Note that some faults (e.g. kernel faults) were already resolved by the |
234 | * low-level, assembly language part of the fast_data_access_mmu_miss handler. |
||
1851 | jermar | 235 | */ |
236 | void fast_data_access_mmu_miss(int n, istate_t *istate) |
||
863 | jermar | 237 | { |
877 | jermar | 238 | tlb_tag_access_reg_t tag; |
1851 | jermar | 239 | uintptr_t va; |
240 | pte_t *t; |
||
883 | jermar | 241 | |
877 | jermar | 242 | tag.value = dtlb_tag_access_read(); |
1865 | jermar | 243 | va = tag.vpn << PAGE_WIDTH; |
244 | |||
1851 | jermar | 245 | if (tag.context == ASID_KERNEL) { |
246 | if (!tag.vpn) { |
||
247 | /* NULL access in kernel */ |
||
2048 | jermar | 248 | do_fast_data_access_mmu_miss_fault(istate, tag, |
249 | __FUNCTION__); |
||
1851 | jermar | 250 | } |
2048 | jermar | 251 | do_fast_data_access_mmu_miss_fault(istate, tag, "Unexpected " |
252 | "kernel page fault."); |
||
1851 | jermar | 253 | } |
873 | jermar | 254 | |
1851 | jermar | 255 | page_table_lock(AS, true); |
256 | t = page_mapping_find(AS, va); |
||
257 | if (t) { |
||
258 | /* |
||
259 | * The mapping was found in the software page hash table. |
||
260 | * Insert it into DTLB. |
||
261 | */ |
||
1852 | jermar | 262 | t->a = true; |
263 | dtlb_pte_copy(t, true); |
||
1891 | jermar | 264 | #ifdef CONFIG_TSB |
265 | dtsb_pte_copy(t, true); |
||
266 | #endif |
||
1851 | jermar | 267 | page_table_unlock(AS, true); |
268 | } else { |
||
269 | /* |
||
270 | * Forward the page fault to the address space page fault handler. |
||
271 | */ |
||
272 | page_table_unlock(AS, true); |
||
273 | if (as_page_fault(va, PF_ACCESS_READ, istate) == AS_PF_FAULT) { |
||
2048 | jermar | 274 | do_fast_data_access_mmu_miss_fault(istate, tag, |
275 | __FUNCTION__); |
||
1851 | jermar | 276 | } |
877 | jermar | 277 | } |
863 | jermar | 278 | } |
279 | |||
280 | /** DTLB protection fault handler. */ |
||
1851 | jermar | 281 | void fast_data_access_protection(int n, istate_t *istate) |
863 | jermar | 282 | { |
1859 | jermar | 283 | tlb_tag_access_reg_t tag; |
284 | uintptr_t va; |
||
285 | pte_t *t; |
||
286 | |||
287 | tag.value = dtlb_tag_access_read(); |
||
1865 | jermar | 288 | va = tag.vpn << PAGE_WIDTH; |
1859 | jermar | 289 | |
290 | page_table_lock(AS, true); |
||
291 | t = page_mapping_find(AS, va); |
||
292 | if (t && PTE_WRITABLE(t)) { |
||
293 | /* |
||
2048 | jermar | 294 | * The mapping was found in the software page hash table and is |
295 | * writable. Demap the old mapping and insert an updated mapping |
||
296 | * into DTLB. |
||
1859 | jermar | 297 | */ |
298 | t->a = true; |
||
299 | t->d = true; |
||
300 | dtlb_demap(TLB_DEMAP_PAGE, TLB_DEMAP_SECONDARY, va); |
||
301 | dtlb_pte_copy(t, false); |
||
1891 | jermar | 302 | #ifdef CONFIG_TSB |
303 | dtsb_pte_copy(t, false); |
||
304 | #endif |
||
1859 | jermar | 305 | page_table_unlock(AS, true); |
306 | } else { |
||
307 | /* |
||
2048 | jermar | 308 | * Forward the page fault to the address space page fault |
309 | * handler. |
||
1859 | jermar | 310 | */ |
311 | page_table_unlock(AS, true); |
||
312 | if (as_page_fault(va, PF_ACCESS_WRITE, istate) == AS_PF_FAULT) { |
||
2048 | jermar | 313 | do_fast_data_access_protection_fault(istate, tag, |
314 | __FUNCTION__); |
||
1859 | jermar | 315 | } |
316 | } |
||
863 | jermar | 317 | } |
318 | |||
570 | jermar | 319 | /** Print contents of both TLBs. */ |
320 | void tlb_print(void) |
||
321 | { |
||
322 | int i; |
||
323 | tlb_data_t d; |
||
324 | tlb_tag_read_reg_t t; |
||
325 | |||
326 | printf("I-TLB contents:\n"); |
||
327 | for (i = 0; i < ITLB_ENTRY_COUNT; i++) { |
||
328 | d.value = itlb_data_access_read(i); |
||
613 | jermar | 329 | t.value = itlb_tag_read_read(i); |
570 | jermar | 330 | |
2048 | jermar | 331 | printf("%d: vpn=%#llx, context=%d, v=%d, size=%d, nfo=%d, " |
332 | "ie=%d, soft2=%#x, diag=%#x, pfn=%#x, soft=%#x, l=%d, " |
||
333 | "cp=%d, cv=%d, e=%d, p=%d, w=%d, g=%d\n", i, t.vpn, |
||
334 | t.context, d.v, d.size, d.nfo, d.ie, d.soft2, d.diag, |
||
335 | d.pfn, d.soft, d.l, d.cp, d.cv, d.e, d.p, d.w, d.g); |
||
570 | jermar | 336 | } |
337 | |||
338 | printf("D-TLB contents:\n"); |
||
339 | for (i = 0; i < DTLB_ENTRY_COUNT; i++) { |
||
340 | d.value = dtlb_data_access_read(i); |
||
613 | jermar | 341 | t.value = dtlb_tag_read_read(i); |
570 | jermar | 342 | |
2048 | jermar | 343 | printf("%d: vpn=%#llx, context=%d, v=%d, size=%d, nfo=%d, " |
344 | "ie=%d, soft2=%#x, diag=%#x, pfn=%#x, soft=%#x, l=%d, " |
||
345 | "cp=%d, cv=%d, e=%d, p=%d, w=%d, g=%d\n", i, t.vpn, |
||
346 | t.context, d.v, d.size, d.nfo, d.ie, d.soft2, d.diag, |
||
347 | d.pfn, d.soft, d.l, d.cp, d.cv, d.e, d.p, d.w, d.g); |
||
570 | jermar | 348 | } |
349 | |||
350 | } |
||
617 | jermar | 351 | |
2048 | jermar | 352 | void do_fast_instruction_access_mmu_miss_fault(istate_t *istate, const char |
353 | *str) |
||
1852 | jermar | 354 | { |
1870 | jermar | 355 | fault_if_from_uspace(istate, "%s\n", str); |
1880 | jermar | 356 | dump_istate(istate); |
1852 | jermar | 357 | panic("%s\n", str); |
358 | } |
||
359 | |||
2048 | jermar | 360 | void do_fast_data_access_mmu_miss_fault(istate_t *istate, tlb_tag_access_reg_t |
361 | tag, const char *str) |
||
1851 | jermar | 362 | { |
363 | uintptr_t va; |
||
364 | |||
1865 | jermar | 365 | va = tag.vpn << PAGE_WIDTH; |
1851 | jermar | 366 | |
2048 | jermar | 367 | fault_if_from_uspace(istate, "%s, Page=%p (ASID=%d)\n", str, va, |
368 | tag.context); |
||
1880 | jermar | 369 | dump_istate(istate); |
1851 | jermar | 370 | printf("Faulting page: %p, ASID=%d\n", va, tag.context); |
371 | panic("%s\n", str); |
||
372 | } |
||
373 | |||
2048 | jermar | 374 | void do_fast_data_access_protection_fault(istate_t *istate, tlb_tag_access_reg_t |
375 | tag, const char *str) |
||
1859 | jermar | 376 | { |
377 | uintptr_t va; |
||
378 | |||
1865 | jermar | 379 | va = tag.vpn << PAGE_WIDTH; |
1859 | jermar | 380 | |
2048 | jermar | 381 | fault_if_from_uspace(istate, "%s, Page=%p (ASID=%d)\n", str, va, |
382 | tag.context); |
||
1859 | jermar | 383 | printf("Faulting page: %p, ASID=%d\n", va, tag.context); |
1880 | jermar | 384 | dump_istate(istate); |
1859 | jermar | 385 | panic("%s\n", str); |
386 | } |
||
387 | |||
1946 | jermar | 388 | void dump_sfsr_and_sfar(void) |
389 | { |
||
390 | tlb_sfsr_reg_t sfsr; |
||
391 | uintptr_t sfar; |
||
392 | |||
393 | sfsr.value = dtlb_sfsr_read(); |
||
394 | sfar = dtlb_sfar_read(); |
||
395 | |||
2048 | jermar | 396 | printf("DTLB SFSR: asi=%#x, ft=%#x, e=%d, ct=%d, pr=%d, w=%d, ow=%d, " |
397 | "fv=%d\n", sfsr.asi, sfsr.ft, sfsr.e, sfsr.ct, sfsr.pr, sfsr.w, |
||
398 | sfsr.ow, sfsr.fv); |
||
1946 | jermar | 399 | printf("DTLB SFAR: address=%p\n", sfar); |
400 | |||
401 | dtlb_sfsr_write(0); |
||
402 | } |
||
403 | |||
617 | jermar | 404 | /** Invalidate all unlocked ITLB and DTLB entries. */ |
405 | void tlb_invalidate_all(void) |
||
406 | { |
||
407 | int i; |
||
408 | tlb_data_t d; |
||
409 | tlb_tag_read_reg_t t; |
||
410 | |||
411 | for (i = 0; i < ITLB_ENTRY_COUNT; i++) { |
||
412 | d.value = itlb_data_access_read(i); |
||
413 | if (!d.l) { |
||
414 | t.value = itlb_tag_read_read(i); |
||
415 | d.v = false; |
||
416 | itlb_tag_access_write(t.value); |
||
417 | itlb_data_access_write(i, d.value); |
||
418 | } |
||
419 | } |
||
420 | |||
421 | for (i = 0; i < DTLB_ENTRY_COUNT; i++) { |
||
422 | d.value = dtlb_data_access_read(i); |
||
423 | if (!d.l) { |
||
424 | t.value = dtlb_tag_read_read(i); |
||
425 | d.v = false; |
||
426 | dtlb_tag_access_write(t.value); |
||
427 | dtlb_data_access_write(i, d.value); |
||
428 | } |
||
429 | } |
||
430 | |||
431 | } |
||
432 | |||
2048 | jermar | 433 | /** Invalidate all ITLB and DTLB entries that belong to specified ASID |
434 | * (Context). |
||
617 | jermar | 435 | * |
436 | * @param asid Address Space ID. |
||
437 | */ |
||
438 | void tlb_invalidate_asid(asid_t asid) |
||
439 | { |
||
1865 | jermar | 440 | tlb_context_reg_t pc_save, ctx; |
1860 | jermar | 441 | |
1865 | jermar | 442 | /* switch to nucleus because we are mapped by the primary context */ |
443 | nucleus_enter(); |
||
444 | |||
445 | ctx.v = pc_save.v = mmu_primary_context_read(); |
||
1860 | jermar | 446 | ctx.context = asid; |
1865 | jermar | 447 | mmu_primary_context_write(ctx.v); |
1860 | jermar | 448 | |
1865 | jermar | 449 | itlb_demap(TLB_DEMAP_CONTEXT, TLB_DEMAP_PRIMARY, 0); |
450 | dtlb_demap(TLB_DEMAP_CONTEXT, TLB_DEMAP_PRIMARY, 0); |
||
1860 | jermar | 451 | |
1865 | jermar | 452 | mmu_primary_context_write(pc_save.v); |
453 | |||
454 | nucleus_leave(); |
||
617 | jermar | 455 | } |
456 | |||
2048 | jermar | 457 | /** Invalidate all ITLB and DTLB entries for specified page range in specified |
458 | * address space. |
||
617 | jermar | 459 | * |
460 | * @param asid Address Space ID. |
||
727 | jermar | 461 | * @param page First page which to sweep out from ITLB and DTLB. |
462 | * @param cnt Number of ITLB and DTLB entries to invalidate. |
||
617 | jermar | 463 | */ |
1780 | jermar | 464 | void tlb_invalidate_pages(asid_t asid, uintptr_t page, count_t cnt) |
617 | jermar | 465 | { |
727 | jermar | 466 | int i; |
1865 | jermar | 467 | tlb_context_reg_t pc_save, ctx; |
727 | jermar | 468 | |
1865 | jermar | 469 | /* switch to nucleus because we are mapped by the primary context */ |
470 | nucleus_enter(); |
||
471 | |||
472 | ctx.v = pc_save.v = mmu_primary_context_read(); |
||
1860 | jermar | 473 | ctx.context = asid; |
1865 | jermar | 474 | mmu_primary_context_write(ctx.v); |
1860 | jermar | 475 | |
727 | jermar | 476 | for (i = 0; i < cnt; i++) { |
2048 | jermar | 477 | itlb_demap(TLB_DEMAP_PAGE, TLB_DEMAP_PRIMARY, page + i * |
478 | PAGE_SIZE); |
||
479 | dtlb_demap(TLB_DEMAP_PAGE, TLB_DEMAP_PRIMARY, page + i * |
||
480 | PAGE_SIZE); |
||
727 | jermar | 481 | } |
1860 | jermar | 482 | |
1865 | jermar | 483 | mmu_primary_context_write(pc_save.v); |
484 | |||
485 | nucleus_leave(); |
||
617 | jermar | 486 | } |
1702 | cejka | 487 | |
1792 | jermar | 488 | /** @} |
1702 | cejka | 489 | */ |