Rev 4153 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 4153 | Rev 4581 | ||
---|---|---|---|
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); |