Rev 1138 | Rev 1702 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1138 | Rev 1675 | ||
|---|---|---|---|
| Line 77... | Line 77... | ||
| 77 | extern void tr_mapping_insert(__address va, asid_t asid, tlb_entry_t entry, bool dtr, index_t tr); |
77 | extern void tr_mapping_insert(__address va, asid_t asid, tlb_entry_t entry, bool dtr, index_t tr); |
| 78 | extern void dtr_mapping_insert(__address va, asid_t asid, tlb_entry_t entry, index_t tr); |
78 | extern void dtr_mapping_insert(__address va, asid_t asid, tlb_entry_t entry, index_t tr); |
| 79 | extern void itr_mapping_insert(__address va, asid_t asid, tlb_entry_t entry, index_t tr); |
79 | extern void itr_mapping_insert(__address va, asid_t asid, tlb_entry_t entry, index_t tr); |
| 80 | 80 | ||
| 81 | extern void dtlb_kernel_mapping_insert(__address page, __address frame, bool dtr, index_t tr); |
81 | extern void dtlb_kernel_mapping_insert(__address page, __address frame, bool dtr, index_t tr); |
| - | 82 | extern void dtr_purge(__address page, count_t width); |
|
| 82 | 83 | ||
| 83 | extern void dtc_pte_copy(pte_t *t); |
84 | extern void dtc_pte_copy(pte_t *t); |
| 84 | extern void itc_pte_copy(pte_t *t); |
85 | extern void itc_pte_copy(pte_t *t); |
| 85 | 86 | ||
| 86 | extern void alternate_instruction_tlb_fault(__u64 vector, istate_t *istate); |
87 | extern void alternate_instruction_tlb_fault(__u64 vector, istate_t *istate); |