Home
last modified time | relevance | path

Searched refs:RISCVInstructionAccessFault (Results 1 – 3 of 3) sorted by relevance

/seL4-master/include/arch/riscv/arch/machine/
A Dhardware.h57 RISCVInstructionAccessFault = 1, enumerator
/seL4-master/src/arch/riscv/
A Dc_traps.c122 case RISCVInstructionAccessFault: in c_handle_exception()
/seL4-master/src/arch/riscv/kernel/
A Dvspace.c431 case RISCVInstructionAccessFault: in handleVMFault()
432 current_fault = seL4_Fault_VMFault_new(addr, RISCVInstructionAccessFault, true); in handleVMFault()

Completed in 6 milliseconds