source: mainline/kernel/arch/ia64/src/mm/tlb.c@ 09ab0a9a

lfn serial ticket/834-toolchain-update topic/msim-upgrade topic/simplify-dev-export
Last change on this file since 09ab0a9a was 09ab0a9a, checked in by Jiri Svoboda <jiri@…>, 7 years ago

Fix vertical spacing with new Ccheck revision.

  • Property mode set to 100644
File size: 18.4 KB
Line 
1/*
2 * Copyright (c) 2006 Jakub 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
29/** @addtogroup ia64mm
30 * @{
31 */
32/** @file
33 */
34
35/*
36 * TLB management.
37 */
38
39#include <mm/tlb.h>
40#include <mm/asid.h>
41#include <mm/page.h>
42#include <mm/as.h>
43#include <arch/mm/tlb.h>
44#include <arch/mm/page.h>
45#include <arch/mm/vhpt.h>
46#include <barrier.h>
47#include <arch/interrupt.h>
48#include <arch/pal/pal.h>
49#include <arch/asm.h>
50#include <assert.h>
51#include <panic.h>
52#include <print.h>
53#include <arch.h>
54#include <interrupt.h>
55#include <arch/legacyio.h>
56
57/** Invalidate all TLB entries. */
58void tlb_invalidate_all(void)
59{
60 ipl_t ipl;
61 uintptr_t adr;
62 uint32_t count1, count2, stride1, stride2;
63
64 unsigned int i, j;
65
66 adr = PAL_PTCE_INFO_BASE();
67 count1 = PAL_PTCE_INFO_COUNT1();
68 count2 = PAL_PTCE_INFO_COUNT2();
69 stride1 = PAL_PTCE_INFO_STRIDE1();
70 stride2 = PAL_PTCE_INFO_STRIDE2();
71
72 ipl = interrupts_disable();
73
74 for (i = 0; i < count1; i++) {
75 for (j = 0; j < count2; j++) {
76 asm volatile (
77 "ptc.e %[adr] ;;"
78 :: [adr] "r" (adr)
79 );
80 adr += stride2;
81 }
82 adr += stride1;
83 }
84
85 interrupts_restore(ipl);
86
87 srlz_d();
88 srlz_i();
89
90#ifdef CONFIG_VHPT
91 vhpt_invalidate_all();
92#endif
93}
94
95/** Invalidate entries belonging to an address space.
96 *
97 * @param asid Address space identifier.
98 *
99 */
100void tlb_invalidate_asid(asid_t asid)
101{
102 tlb_invalidate_all();
103}
104
105void tlb_invalidate_pages(asid_t asid, uintptr_t page, size_t cnt)
106{
107 region_register_t rr;
108 bool restore_rr = false;
109 int b = 0;
110 int c = cnt;
111
112 uintptr_t va;
113 va = page;
114
115 rr.word = rr_read(VA2VRN(page));
116 if ((restore_rr = (rr.map.rid != ASID2RID(asid, VA2VRN(page))))) {
117 /*
118 * The selected region register does not contain required RID.
119 * Save the old content of the register and replace the RID.
120 */
121 region_register_t rr0;
122
123 rr0 = rr;
124 rr0.map.rid = ASID2RID(asid, VA2VRN(page));
125 rr_write(VA2VRN(page), rr0.word);
126 srlz_d();
127 srlz_i();
128 }
129
130 while (c >>= 1)
131 b++;
132 b >>= 1;
133 uint64_t ps;
134
135 switch (b) {
136 case 0: /* cnt 1 - 3 */
137 ps = PAGE_WIDTH;
138 break;
139 case 1: /* cnt 4 - 15 */
140 ps = PAGE_WIDTH + 2;
141 va &= ~((1UL << ps) - 1);
142 break;
143 case 2: /* cnt 16 - 63 */
144 ps = PAGE_WIDTH + 4;
145 va &= ~((1UL << ps) - 1);
146 break;
147 case 3: /* cnt 64 - 255 */
148 ps = PAGE_WIDTH + 6;
149 va &= ~((1UL << ps) - 1);
150 break;
151 case 4: /* cnt 256 - 1023 */
152 ps = PAGE_WIDTH + 8;
153 va &= ~((1UL << ps) - 1);
154 break;
155 case 5: /* cnt 1024 - 4095 */
156 ps = PAGE_WIDTH + 10;
157 va &= ~((1UL << ps) - 1);
158 break;
159 case 6: /* cnt 4096 - 16383 */
160 ps = PAGE_WIDTH + 12;
161 va &= ~((1UL << ps) - 1);
162 break;
163 case 7: /* cnt 16384 - 65535 */
164 case 8: /* cnt 65536 - (256K - 1) */
165 ps = PAGE_WIDTH + 14;
166 va &= ~((1UL << ps) - 1);
167 break;
168 default:
169 ps = PAGE_WIDTH + 18;
170 va &= ~((1UL << ps) - 1);
171 break;
172 }
173
174 for (; va < (page + cnt * PAGE_SIZE); va += (1UL << ps))
175 asm volatile (
176 "ptc.l %[va], %[ps] ;;"
177 :: [va] "r" (va),
178 [ps] "r" (ps << 2)
179 );
180
181 srlz_d();
182 srlz_i();
183
184 if (restore_rr) {
185 rr_write(VA2VRN(page), rr.word);
186 srlz_d();
187 srlz_i();
188 }
189}
190
191/** Insert data into data translation cache.
192 *
193 * @param va Virtual page address.
194 * @param asid Address space identifier.
195 * @param entry The rest of TLB entry as required by TLB insertion
196 * format.
197 *
198 */
199void dtc_mapping_insert(uintptr_t va, asid_t asid, tlb_entry_t entry)
200{
201 tc_mapping_insert(va, asid, entry, true);
202}
203
204/** Insert data into instruction translation cache.
205 *
206 * @param va Virtual page address.
207 * @param asid Address space identifier.
208 * @param entry The rest of TLB entry as required by TLB insertion
209 * format.
210 */
211void itc_mapping_insert(uintptr_t va, asid_t asid, tlb_entry_t entry)
212{
213 tc_mapping_insert(va, asid, entry, false);
214}
215
216/** Insert data into instruction or data translation cache.
217 *
218 * @param va Virtual page address.
219 * @param asid Address space identifier.
220 * @param entry The rest of TLB entry as required by TLB insertion
221 * format.
222 * @param dtc If true, insert into data translation cache, use
223 * instruction translation cache otherwise.
224 *
225 */
226void tc_mapping_insert(uintptr_t va, asid_t asid, tlb_entry_t entry, bool dtc)
227{
228 region_register_t rr;
229 bool restore_rr = false;
230
231 rr.word = rr_read(VA2VRN(va));
232 if ((restore_rr = (rr.map.rid != ASID2RID(asid, VA2VRN(va))))) {
233 /*
234 * The selected region register does not contain required RID.
235 * Save the old content of the register and replace the RID.
236 */
237 region_register_t rr0;
238
239 rr0 = rr;
240 rr0.map.rid = ASID2RID(asid, VA2VRN(va));
241 rr_write(VA2VRN(va), rr0.word);
242 srlz_d();
243 srlz_i();
244 }
245
246 asm volatile (
247 "mov r8 = psr ;;\n"
248 "rsm %[mask] ;;\n" /* PSR_IC_MASK */
249 "srlz.d ;;\n"
250 "srlz.i ;;\n"
251 "mov cr.ifa = %[va]\n" /* va */
252 "mov cr.itir = %[word1] ;;\n" /* entry.word[1] */
253 "cmp.eq p6, p7 = %[dtc], r0 ;;\n" /* decide between itc and dtc */
254 "(p6) itc.i %[word0] ;;\n"
255 "(p7) itc.d %[word0] ;;\n"
256 "mov psr.l = r8 ;;\n"
257 "srlz.d ;;\n"
258 :: [mask] "i" (PSR_IC_MASK),
259 [va] "r" (va),
260 [word0] "r" (entry.word[0]),
261 [word1] "r" (entry.word[1]),
262 [dtc] "r" (dtc)
263 : "p6", "p7", "r8"
264 );
265
266 if (restore_rr) {
267 rr_write(VA2VRN(va), rr.word);
268 srlz_d();
269 srlz_i();
270 }
271}
272
273/** Insert data into instruction translation register.
274 *
275 * @param va Virtual page address.
276 * @param asid Address space identifier.
277 * @param entry The rest of TLB entry as required by TLB insertion
278 * format.
279 * @param tr Translation register.
280 *
281 */
282void itr_mapping_insert(uintptr_t va, asid_t asid, tlb_entry_t entry, size_t tr)
283{
284 tr_mapping_insert(va, asid, entry, false, tr);
285}
286
287/** Insert data into data translation register.
288 *
289 * @param va Virtual page address.
290 * @param asid Address space identifier.
291 * @param entry The rest of TLB entry as required by TLB insertion
292 * format.
293 * @param tr Translation register.
294 *
295 */
296void dtr_mapping_insert(uintptr_t va, asid_t asid, tlb_entry_t entry, size_t tr)
297{
298 tr_mapping_insert(va, asid, entry, true, tr);
299}
300
301/** Insert data into instruction or data translation register.
302 *
303 * @param va Virtual page address.
304 * @param asid Address space identifier.
305 * @param entry The rest of TLB entry as required by TLB insertion
306 * format.
307 * @param dtr If true, insert into data translation register, use
308 * instruction translation register otherwise.
309 * @param tr Translation register.
310 *
311 */
312void tr_mapping_insert(uintptr_t va, asid_t asid, tlb_entry_t entry, bool dtr,
313 size_t tr)
314{
315 region_register_t rr;
316 bool restore_rr = false;
317
318 rr.word = rr_read(VA2VRN(va));
319 if ((restore_rr = (rr.map.rid != ASID2RID(asid, VA2VRN(va))))) {
320 /*
321 * The selected region register does not contain required RID.
322 * Save the old content of the register and replace the RID.
323 */
324 region_register_t rr0;
325
326 rr0 = rr;
327 rr0.map.rid = ASID2RID(asid, VA2VRN(va));
328 rr_write(VA2VRN(va), rr0.word);
329 srlz_d();
330 srlz_i();
331 }
332
333 asm volatile (
334 "mov r8 = psr ;;\n"
335 "rsm %[mask] ;;\n" /* PSR_IC_MASK */
336 "srlz.d ;;\n"
337 "srlz.i ;;\n"
338 "mov cr.ifa = %[va]\n" /* va */
339 "mov cr.itir = %[word1] ;;\n" /* entry.word[1] */
340 "cmp.eq p6, p7 = %[dtr], r0 ;;\n" /* decide between itr and dtr */
341 "(p6) itr.i itr[%[tr]] = %[word0] ;;\n"
342 "(p7) itr.d dtr[%[tr]] = %[word0] ;;\n"
343 "mov psr.l = r8 ;;\n"
344 "srlz.d ;;\n"
345 :: [mask] "i" (PSR_IC_MASK),
346 [va] "r" (va),
347 [word1] "r" (entry.word[1]),
348 [word0] "r" (entry.word[0]),
349 [tr] "r" (tr),
350 [dtr] "r" (dtr)
351 : "p6", "p7", "r8"
352 );
353
354 if (restore_rr) {
355 rr_write(VA2VRN(va), rr.word);
356 srlz_d();
357 srlz_i();
358 }
359}
360
361/** Insert data into DTLB.
362 *
363 * @param page Virtual page address including VRN bits.
364 * @param frame Physical frame address.
365 * @param dtr If true, insert into data translation register, use data
366 * translation cache otherwise.
367 * @param tr Translation register if dtr is true, ignored otherwise.
368 *
369 */
370void dtlb_kernel_mapping_insert(uintptr_t page, uintptr_t frame, bool dtr,
371 size_t tr)
372{
373 tlb_entry_t entry;
374
375 entry.word[0] = 0;
376 entry.word[1] = 0;
377
378 entry.p = true; /* present */
379 entry.ma = MA_WRITEBACK;
380 entry.a = true; /* already accessed */
381 entry.d = true; /* already dirty */
382 entry.pl = PL_KERNEL;
383 entry.ar = AR_READ | AR_WRITE;
384 entry.ppn = frame >> PPN_SHIFT;
385 entry.ps = PAGE_WIDTH;
386
387 if (dtr)
388 dtr_mapping_insert(page, ASID_KERNEL, entry, tr);
389 else
390 dtc_mapping_insert(page, ASID_KERNEL, entry);
391}
392
393/** Purge kernel entries from DTR.
394 *
395 * Purge DTR entries used by the kernel.
396 *
397 * @param page Virtual page address including VRN bits.
398 * @param width Width of the purge in bits.
399 *
400 */
401void dtr_purge(uintptr_t page, size_t width)
402{
403 asm volatile (
404 "ptr.d %[page], %[width]\n"
405 :: [page] "r" (page),
406 [width] "r" (width << 2)
407 );
408}
409
410/** Copy content of PTE into data translation cache.
411 *
412 * @param t PTE.
413 *
414 */
415void dtc_pte_copy(pte_t *t)
416{
417 tlb_entry_t entry;
418
419 entry.word[0] = 0;
420 entry.word[1] = 0;
421
422 entry.p = t->p;
423 entry.ma = t->c ? MA_WRITEBACK : MA_UNCACHEABLE;
424 entry.a = t->a;
425 entry.d = t->d;
426 entry.pl = t->k ? PL_KERNEL : PL_USER;
427 entry.ar = t->w ? AR_WRITE : AR_READ;
428 entry.ppn = t->frame >> PPN_SHIFT;
429 entry.ps = PAGE_WIDTH;
430
431 dtc_mapping_insert(t->page, t->as->asid, entry);
432
433#ifdef CONFIG_VHPT
434 vhpt_mapping_insert(t->page, t->as->asid, entry);
435#endif
436}
437
438/** Copy content of PTE into instruction translation cache.
439 *
440 * @param t PTE.
441 *
442 */
443void itc_pte_copy(pte_t *t)
444{
445 tlb_entry_t entry;
446
447 entry.word[0] = 0;
448 entry.word[1] = 0;
449
450 assert(t->x);
451
452 entry.p = t->p;
453 entry.ma = t->c ? MA_WRITEBACK : MA_UNCACHEABLE;
454 entry.a = t->a;
455 entry.pl = t->k ? PL_KERNEL : PL_USER;
456 entry.ar = t->x ? (AR_EXECUTE | AR_READ) : AR_READ;
457 entry.ppn = t->frame >> PPN_SHIFT;
458 entry.ps = PAGE_WIDTH;
459
460 itc_mapping_insert(t->page, t->as->asid, entry);
461
462#ifdef CONFIG_VHPT
463 vhpt_mapping_insert(t->page, t->as->asid, entry);
464#endif
465}
466
467static bool is_kernel_fault(uintptr_t va)
468{
469 region_register_t rr;
470
471 rr.word = rr_read(VA2VRN(va));
472 rid_t rid = rr.map.rid;
473 return (RID2ASID(rid) == ASID_KERNEL) && (VA2VRN(va) == VRN_KERNEL);
474}
475
476/** Instruction TLB fault handler for faults with VHPT turned off.
477 *
478 * @param n Interruption vector.
479 * @param istate Structure with saved interruption state.
480 *
481 */
482void alternate_instruction_tlb_fault(unsigned int n, istate_t *istate)
483{
484 uintptr_t va;
485 pte_t t;
486
487 va = istate->cr_ifa; /* faulting address */
488
489 assert(!is_kernel_fault(va));
490
491 bool found = page_mapping_find(AS, va, true, &t);
492 if (found) {
493 assert(t.p);
494
495 /*
496 * The mapping was found in software page hash table.
497 * Insert it into data translation cache.
498 */
499 itc_pte_copy(&t);
500 } else {
501 /*
502 * Forward the page fault to address space page fault handler.
503 */
504 as_page_fault(va, PF_ACCESS_EXEC, istate);
505 }
506}
507
508static int is_io_page_accessible(int page)
509{
510 if (TASK->arch.iomap)
511 return bitmap_get(TASK->arch.iomap, page);
512 else
513 return 0;
514}
515
516/**
517 * There is special handling of memory mapped legacy io, because of 4KB sized
518 * access for userspace.
519 *
520 * @param va Virtual address of page fault.
521 * @param istate Structure with saved interruption state.
522 *
523 * @return One on success, zero on failure.
524 *
525 */
526static int try_memmap_io_insertion(uintptr_t va, istate_t *istate)
527{
528 if ((va >= LEGACYIO_USER_BASE) && (va < LEGACYIO_USER_BASE + (1 << LEGACYIO_PAGE_WIDTH))) {
529 if (TASK) {
530 uint64_t io_page = (va & ((1 << LEGACYIO_PAGE_WIDTH) - 1)) >>
531 LEGACYIO_SINGLE_PAGE_WIDTH;
532
533 if (is_io_page_accessible(io_page)) {
534 uint64_t page, frame;
535
536 page = LEGACYIO_USER_BASE +
537 (1 << LEGACYIO_SINGLE_PAGE_WIDTH) * io_page;
538 frame = LEGACYIO_PHYS_BASE +
539 (1 << LEGACYIO_SINGLE_PAGE_WIDTH) * io_page;
540
541 tlb_entry_t entry;
542
543 entry.word[0] = 0;
544 entry.word[1] = 0;
545
546 entry.p = true; /* present */
547 entry.ma = MA_UNCACHEABLE;
548 entry.a = true; /* already accessed */
549 entry.d = true; /* already dirty */
550 entry.pl = PL_USER;
551 entry.ar = AR_READ | AR_WRITE;
552 entry.ppn = frame >> PPN_SHIFT;
553 entry.ps = LEGACYIO_SINGLE_PAGE_WIDTH;
554
555 dtc_mapping_insert(page, TASK->as->asid, entry);
556 return 1;
557 } else {
558 fault_if_from_uspace(istate,
559 "IO access fault at %p.", (void *) va);
560 }
561 }
562 }
563
564 return 0;
565}
566
567/** Data TLB fault handler for faults with VHPT turned off.
568 *
569 * @param n Interruption vector.
570 * @param istate Structure with saved interruption state.
571 *
572 */
573void alternate_data_tlb_fault(unsigned int n, istate_t *istate)
574{
575 if (istate->cr_isr.sp) {
576 /*
577 * Speculative load. Deffer the exception until a more clever
578 * approach can be used. Currently if we try to find the
579 * mapping for the speculative load while in the kernel, we
580 * might introduce a livelock because of the possibly invalid
581 * values of the address.
582 */
583 istate->cr_ipsr.ed = true;
584 return;
585 }
586
587 uintptr_t va = istate->cr_ifa; /* faulting address */
588 as_t *as = AS;
589
590 if (is_kernel_fault(va)) {
591 if (va < end_of_identity) {
592 /*
593 * Create kernel identity mapping for low memory.
594 */
595 dtlb_kernel_mapping_insert(va, KA2PA(va), false, 0);
596 return;
597 } else {
598 as = AS_KERNEL;
599 }
600 }
601
602 pte_t t;
603 bool found = page_mapping_find(as, va, true, &t);
604 if (found) {
605 assert(t.p);
606
607 /*
608 * The mapping was found in the software page hash table.
609 * Insert it into data translation cache.
610 */
611 dtc_pte_copy(&t);
612 } else {
613 if (try_memmap_io_insertion(va, istate))
614 return;
615
616 /*
617 * Forward the page fault to the address space page fault
618 * handler.
619 */
620 as_page_fault(va, PF_ACCESS_READ, istate);
621 }
622}
623
624/** Data nested TLB fault handler.
625 *
626 * This fault should not occur.
627 *
628 * @param n Interruption vector.
629 * @param istate Structure with saved interruption state.
630 *
631 */
632void data_nested_tlb_fault(unsigned int n, istate_t *istate)
633{
634 assert(false);
635}
636
637/** Data Dirty bit fault handler.
638 *
639 * @param n Interruption vector.
640 * @param istate Structure with saved interruption state.
641 *
642 */
643void data_dirty_bit_fault(unsigned int n, istate_t *istate)
644{
645 uintptr_t va;
646 pte_t t;
647 as_t *as = AS;
648
649 va = istate->cr_ifa; /* faulting address */
650
651 if (is_kernel_fault(va))
652 as = AS_KERNEL;
653
654 bool found = page_mapping_find(as, va, true, &t);
655
656 assert(found);
657 assert(t.p);
658
659 if (found && t.p && t.w) {
660 /*
661 * Update the Dirty bit in page tables and reinsert
662 * the mapping into DTC.
663 */
664 t.d = true;
665 dtc_pte_copy(&t);
666 page_mapping_update(as, va, true, &t);
667 } else {
668 as_page_fault(va, PF_ACCESS_WRITE, istate);
669 }
670}
671
672/** Instruction access bit fault handler.
673 *
674 * @param n Interruption vector.
675 * @param istate Structure with saved interruption state.
676 *
677 */
678void instruction_access_bit_fault(unsigned int n, istate_t *istate)
679{
680 uintptr_t va;
681 pte_t t;
682
683 va = istate->cr_ifa; /* faulting address */
684
685 assert(!is_kernel_fault(va));
686
687 bool found = page_mapping_find(AS, va, true, &t);
688
689 assert(found);
690 assert(t.p);
691
692 if (found && t.p && t.x) {
693 /*
694 * Update the Accessed bit in page tables and reinsert
695 * the mapping into ITC.
696 */
697 t.a = true;
698 itc_pte_copy(&t);
699 page_mapping_update(AS, va, true, &t);
700 } else {
701 as_page_fault(va, PF_ACCESS_EXEC, istate);
702 }
703}
704
705/** Data access bit fault handler.
706 *
707 * @param n Interruption vector.
708 * @param istate Structure with saved interruption state.
709 *
710 */
711void data_access_bit_fault(unsigned int n, istate_t *istate)
712{
713 uintptr_t va;
714 pte_t t;
715 as_t *as = AS;
716
717 va = istate->cr_ifa; /* faulting address */
718
719 if (is_kernel_fault(va))
720 as = AS_KERNEL;
721
722 bool found = page_mapping_find(as, va, true, &t);
723
724 assert(found);
725 assert(t.p);
726
727 if (found && t.p) {
728 /*
729 * Update the Accessed bit in page tables and reinsert
730 * the mapping into DTC.
731 */
732 t.a = true;
733 dtc_pte_copy(&t);
734 page_mapping_update(as, va, true, &t);
735 } else {
736 if (as_page_fault(va, PF_ACCESS_READ, istate) == AS_PF_FAULT) {
737 fault_if_from_uspace(istate, "Page fault at %p.",
738 (void *) va);
739 panic_memtrap(istate, PF_ACCESS_UNKNOWN, va, NULL);
740 }
741 }
742}
743
744/** Data access rights fault handler.
745 *
746 * @param n Interruption vector.
747 * @param istate Structure with saved interruption state.
748 *
749 */
750void data_access_rights_fault(unsigned int n, istate_t *istate)
751{
752 uintptr_t va;
753 pte_t t;
754
755 va = istate->cr_ifa; /* faulting address */
756
757 assert(!is_kernel_fault(va));
758
759 /*
760 * Assume a write to a read-only page.
761 */
762 bool found = page_mapping_find(AS, va, true, &t);
763
764 assert(found);
765 assert(t.p);
766 assert(!t.w);
767
768 as_page_fault(va, PF_ACCESS_WRITE, istate);
769}
770
771/** Page not present fault handler.
772 *
773 * @param n Interruption vector.
774 * @param istate Structure with saved interruption state.
775 *
776 */
777void page_not_present(unsigned int n, istate_t *istate)
778{
779 uintptr_t va;
780 pte_t t;
781
782 va = istate->cr_ifa; /* faulting address */
783
784 assert(!is_kernel_fault(va));
785
786 bool found = page_mapping_find(AS, va, true, &t);
787
788 assert(found);
789
790 if (t.p) {
791 /*
792 * If the Present bit is set in page hash table, just copy it
793 * and update ITC/DTC.
794 */
795 if (t.x)
796 itc_pte_copy(&t);
797 else
798 dtc_pte_copy(&t);
799 } else {
800 as_page_fault(va, PF_ACCESS_READ, istate);
801 }
802}
803
804void tlb_arch_init(void)
805{
806}
807
808void tlb_print(void)
809{
810}
811
812/** @}
813 */
Note: See TracBrowser for help on using the repository browser.