Rev 4377 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 4377 | Rev 4692 | ||
|---|---|---|---|
| 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); |
| 90 | extern void alternate_data_tlb_fault(uint64_t vector, istate_t *istate); |
90 | extern void alternate_data_tlb_fault(uint64_t vector, istate_t *istate); |
| 91 | extern void data_nested_tlb_fault(uint64_t vector, istate_t *istate); |
91 | extern void data_nested_tlb_fault(uint64_t vector, istate_t *istate); |
| 92 | extern void data_dirty_bit_fault(uint64_t vector, istate_t *istate); |
92 | extern void data_dirty_bit_fault(uint64_t vector, istate_t *istate); |
| 93 | extern void instruction_access_bit_fault(uint64_t vector, istate_t *istate); |
93 | extern void instruction_access_bit_fault(uint64_t vector, istate_t *istate); |
| 94 | extern void data_access_bit_fault(uint64_t vector, istate_t *istate); |
94 | extern void data_access_bit_fault(uint64_t vector, istate_t *istate); |
| - | 95 | extern void data_access_rights_fault(uint64_t vector, istate_t *istate); |
|
| 95 | extern void page_not_present(uint64_t vector, istate_t *istate); |
96 | extern void page_not_present(uint64_t vector, istate_t *istate); |
| 96 | 97 | ||
| 97 | #endif |
98 | #endif |
| 98 | 99 | ||
| 99 | /** @} |
100 | /** @} |