9uint32_t ibex_mcause_read(
void) {
15uint32_t ibex_mtval_read(
void) {
21uint32_t ibex_mepc_read(
void) {
27void ibex_mepc_write(uint32_t mepc) {
CSR_WRITE(CSR_REG_MEPC, mepc); }
32extern uint64_t ibex_mcycle_read(
void);
35extern uint64_t ibex_timeout_elapsed(
const ibex_timeout_t *timeout);