Rev 3940 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3940 | Rev 4490 | ||
|---|---|---|---|
| Line 74... | Line 74... | ||
| 74 | 74 | ||
| 75 | extern void tc_mapping_insert(uintptr_t va, asid_t asid, tlb_entry_t entry, bool dtc); |
75 | extern void tc_mapping_insert(uintptr_t va, asid_t asid, tlb_entry_t entry, bool dtc); |
| 76 | extern void dtc_mapping_insert(uintptr_t va, asid_t asid, tlb_entry_t entry); |
76 | extern void dtc_mapping_insert(uintptr_t va, asid_t asid, tlb_entry_t entry); |
| 77 | extern void itc_mapping_insert(uintptr_t va, asid_t asid, tlb_entry_t entry); |
77 | extern void itc_mapping_insert(uintptr_t va, asid_t asid, tlb_entry_t entry); |
| 78 | 78 | ||
| 79 | extern void tr_mapping_insert(uintptr_t va, asid_t asid, tlb_entry_t entry, bool dtr, index_t tr); |
79 | extern void tr_mapping_insert(uintptr_t va, asid_t asid, tlb_entry_t entry, bool dtr, size_t tr); |
| 80 | extern void dtr_mapping_insert(uintptr_t va, asid_t asid, tlb_entry_t entry, index_t tr); |
80 | extern void dtr_mapping_insert(uintptr_t va, asid_t asid, tlb_entry_t entry, size_t tr); |
| 81 | extern void itr_mapping_insert(uintptr_t va, asid_t asid, tlb_entry_t entry, index_t tr); |
81 | extern void itr_mapping_insert(uintptr_t va, asid_t asid, tlb_entry_t entry, size_t tr); |
| 82 | 82 | ||
| 83 | extern void dtlb_kernel_mapping_insert(uintptr_t page, uintptr_t frame, bool dtr, index_t tr); |
83 | extern void dtlb_kernel_mapping_insert(uintptr_t page, uintptr_t frame, bool dtr, size_t tr); |
| 84 | extern void dtr_purge(uintptr_t page, count_t width); |
84 | extern void dtr_purge(uintptr_t page, size_t width); |
| 85 | 85 | ||
| 86 | extern void dtc_pte_copy(pte_t *t); |
86 | extern void dtc_pte_copy(pte_t *t); |
| 87 | extern void itc_pte_copy(pte_t *t); |
87 | extern void itc_pte_copy(pte_t *t); |
| 88 | 88 | ||
| 89 | extern void alternate_instruction_tlb_fault(uint64_t vector, istate_t *istate); |
89 | extern void alternate_instruction_tlb_fault(uint64_t vector, istate_t *istate); |