Rev 4490 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 4490 | Rev 4625 | ||
|---|---|---|---|
| Line 90... | Line 90... | ||
| 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 | /** @} |