34,8 → 34,7 |
|
#include <arch/mm/page.h> |
#include <arch/mm/asid.h> |
#include <arch/interrupt.h> |
#include <arch/types.h> |
#include <arch/register.h> |
#include <typedefs.h> |
|
extern void tc_mapping_insert(__address va, asid_t asid, vhpt_entry_t entry, bool dtc); |
46,12 → 45,14 |
extern void dtr_mapping_insert(__address va, asid_t asid, tlb_entry_t entry, index_t tr); |
extern void itr_mapping_insert(__address va, asid_t asid, tlb_entry_t entry, index_t tr); |
|
extern void alternate_instruction_tlb_fault(__u64 vector, struct exception_regdump *pstate); |
extern void alternate_data_tlb_fault(__u64 vector, struct exception_regdump *pstate); |
extern void data_nested_tlb_fault(__u64 vector, struct exception_regdump *pstate); |
extern void data_dirty_bit_fault(__u64 vector, struct exception_regdump *pstate); |
extern void instruction_access_bit_fault(__u64 vector, struct exception_regdump *pstate); |
extern void data_access_bit_fault(__u64 vector, struct exception_regdump *pstate); |
extern void page_not_present(__u64 vector, struct exception_regdump *pstate); |
extern void alternate_instruction_tlb_fault(void); |
extern void alternate_data_tlb_fault(void); |
extern void data_nested_tlb_fault(void); |
extern void data_dirty_bit_fault(void); |
extern void instruction_access_bit_fault(void); |
extern void data_access_bit_fault(void); |
extern void page_not_present(void); |
|
#endif |
|
|