66 if (racl_ctrl == NULL) {
73 alert_idx = RACL_CTRL_ALERT_TEST_FATAL_FAULT_BIT;
76 alert_idx = RACL_CTRL_ALERT_TEST_RECOV_CTRL_UPDATE_ERR_BIT;
82 uint32_t alert_test_reg = bitfield_bit32_write(0, alert_idx,
true);
84 alert_test_reg = bitfield_bit32_write(
85 alert_test_reg, RACL_CTRL_ALERT_TEST_REGWEN_BIT,
true);
88 (ptrdiff_t)RACL_CTRL_ALERT_TEST_REG_OFFSET,
174 dif_racl_ctrl_irq_t irq,
177 if (racl_ctrl == NULL || is_pending == NULL) {
182 if (!racl_ctrl_get_irq_bit_index(irq, &index)) {
186 uint32_t intr_state_reg = mmio_region_read32(
188 (ptrdiff_t)RACL_CTRL_INTR_STATE_REG_OFFSET);
191 *is_pending = bitfield_bit32_read(intr_state_reg, index);
218 dif_racl_ctrl_irq_t irq) {
220 if (racl_ctrl == NULL) {
225 if (!racl_ctrl_get_irq_bit_index(irq, &index)) {
230 uint32_t intr_state_reg = bitfield_bit32_write(0, index,
true);
233 (ptrdiff_t)RACL_CTRL_INTR_STATE_REG_OFFSET,
268 dif_racl_ctrl_irq_t irq,
271 if (racl_ctrl == NULL || state == NULL) {
276 if (!racl_ctrl_get_irq_bit_index(irq, &index)) {
280 uint32_t intr_enable_reg = mmio_region_read32(
282 (ptrdiff_t)RACL_CTRL_INTR_ENABLE_REG_OFFSET);
285 bool is_enabled = bitfield_bit32_read(intr_enable_reg, index);
286 *state = is_enabled ?
295 dif_racl_ctrl_irq_t irq,
298 if (racl_ctrl == NULL) {
303 if (!racl_ctrl_get_irq_bit_index(irq, &index)) {
307 uint32_t intr_enable_reg = mmio_region_read32(
309 (ptrdiff_t)RACL_CTRL_INTR_ENABLE_REG_OFFSET);
313 intr_enable_reg = bitfield_bit32_write(intr_enable_reg, index, enable_bit);
316 (ptrdiff_t)RACL_CTRL_INTR_ENABLE_REG_OFFSET,