Searched refs:redirect_trap (Results 1 - 3 of 3) sorted by relevance
/seL4-test-master/tools/riscv-pk/machine/ |
H A D | mtrap.c | 179 void redirect_trap(uintptr_t epc, uintptr_t mstatus, uintptr_t badaddr) function 219 redirect_trap(mepc, read_csr(mstatus), read_csr(mbadaddr)); 227 return redirect_trap(regs[12], regs[13], read_csr(mbadaddr));
|
H A D | emulation.h | 16 void redirect_trap(uintptr_t epc, uintptr_t mstatus, uintptr_t badaddr);
|
H A D | emulation.c | 154 return redirect_trap(mepc, mstatus, insn);
|
Completed in 83 milliseconds