171 dif_racl_ctrl_irq_t irq,
174 if (racl_ctrl == NULL || is_pending == NULL) {
179 if (!racl_ctrl_get_irq_bit_index(irq, &index)) {
183 uint32_t intr_state_reg = mmio_region_read32(
185 (ptrdiff_t)RACL_CTRL_INTR_STATE_REG_OFFSET);
188 *is_pending = bitfield_bit32_read(intr_state_reg, index);
215 dif_racl_ctrl_irq_t irq) {
217 if (racl_ctrl == NULL) {
222 if (!racl_ctrl_get_irq_bit_index(irq, &index)) {
227 uint32_t intr_state_reg = bitfield_bit32_write(0, index,
true);
230 (ptrdiff_t)RACL_CTRL_INTR_STATE_REG_OFFSET,
265 dif_racl_ctrl_irq_t irq,
268 if (racl_ctrl == NULL || state == NULL) {
273 if (!racl_ctrl_get_irq_bit_index(irq, &index)) {
277 uint32_t intr_enable_reg = mmio_region_read32(
279 (ptrdiff_t)RACL_CTRL_INTR_ENABLE_REG_OFFSET);
282 bool is_enabled = bitfield_bit32_read(intr_enable_reg, index);
283 *state = is_enabled ?
292 dif_racl_ctrl_irq_t irq,
295 if (racl_ctrl == NULL) {
300 if (!racl_ctrl_get_irq_bit_index(irq, &index)) {
304 uint32_t intr_enable_reg = mmio_region_read32(
306 (ptrdiff_t)RACL_CTRL_INTR_ENABLE_REG_OFFSET);
310 intr_enable_reg = bitfield_bit32_write(intr_enable_reg, index, enable_bit);
313 (ptrdiff_t)RACL_CTRL_INTR_ENABLE_REG_OFFSET,