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 | /** @} |