Searched defs:mepc (Results 1 - 5 of 5) sorted by relevance
/seL4-test-master/tools/riscv-pk/machine/ |
H A D | unprivileged_memory.h | 67 get_insn(uintptr_t mepc, uintptr_t* mstatus) argument [all...] |
H A D | misaligned_ldst.c | 16 void misaligned_load_trap(uintptr_t* regs, uintptr_t mcause, uintptr_t mepc) argument 87 void misaligned_store_trap(uintptr_t* regs, uintptr_t mcause, uintptr_t mepc) argument [all...] |
H A D | emulation.c | 71 illegal_insn_trap(uintptr_t* regs, uintptr_t mcause, uintptr_t mepc) argument [all...] |
H A D | fp_emulation.c | 62 void emulate_any_fadd(uintptr_t* regs, uintptr_t mcause, uintptr_t mepc, uintptr_t mstatus, insn_t insn, int32_t neg_b) argument [all...] |
H A D | mtrap.c | 20 void __attribute__((noreturn)) bad_trap(uintptr_t* regs, uintptr_t dummy, uintptr_t mepc) argument 132 void mcall_trap(uintptr_t* regs, uintptr_t mcause, uintptr_t mepc) argument 217 void pmp_trap(uintptr_t* regs, uintptr_t mcause, uintptr_t mepc) argument 222 static void machine_page_fault(uintptr_t* regs, uintptr_t dummy, uintptr_t mepc) argument 232 trap_from_machine_mode(uintptr_t* regs, uintptr_t dummy, uintptr_t mepc) argument [all...] |
Completed in 83 milliseconds