14 #include "rv_core_ibex_regs.h"
19 if (rv_core_ibex == NULL) {
30 if (rv_core_ibex == NULL) {
37 alert_idx = RV_CORE_IBEX_ALERT_TEST_FATAL_SW_ERR_BIT;
40 alert_idx = RV_CORE_IBEX_ALERT_TEST_RECOV_SW_ERR_BIT;
43 alert_idx = RV_CORE_IBEX_ALERT_TEST_FATAL_HW_ERR_BIT;
46 alert_idx = RV_CORE_IBEX_ALERT_TEST_RECOV_HW_ERR_BIT;
53 mmio_region_write32(rv_core_ibex->
base_addr,
54 (ptrdiff_t)RV_CORE_IBEX_ALERT_TEST_REG_OFFSET,