67 if (ac_range_check == NULL) {
74 alert_idx = AC_RANGE_CHECK_ALERT_TEST_RECOV_CTRL_UPDATE_ERR_BIT;
77 alert_idx = AC_RANGE_CHECK_ALERT_TEST_FATAL_FAULT_BIT;
83 uint32_t alert_test_reg = bitfield_bit32_write(0, alert_idx,
true);
85 alert_test_reg = bitfield_bit32_write(
86 alert_test_reg, AC_RANGE_CHECK_ALERT_TEST_REGWEN_BIT,
true);
89 (ptrdiff_t)AC_RANGE_CHECK_ALERT_TEST_REG_OFFSET,
175 dif_ac_range_check_irq_t irq,
178 if (ac_range_check == NULL || is_pending == NULL) {
183 if (!ac_range_check_get_irq_bit_index(irq, &index)) {
187 uint32_t intr_state_reg = mmio_region_read32(
189 (ptrdiff_t)AC_RANGE_CHECK_INTR_STATE_REG_OFFSET);
192 *is_pending = bitfield_bit32_read(intr_state_reg, index);
219 dif_ac_range_check_irq_t irq) {
221 if (ac_range_check == NULL) {
226 if (!ac_range_check_get_irq_bit_index(irq, &index)) {
231 uint32_t intr_state_reg = bitfield_bit32_write(0, index,
true);
234 (ptrdiff_t)AC_RANGE_CHECK_INTR_STATE_REG_OFFSET,
244 dif_ac_range_check_irq_t irq,
247 if (ac_range_check == NULL) {
252 if (!ac_range_check_get_irq_bit_index(irq, &index)) {
256 uint32_t intr_test_reg = bitfield_bit32_write(0, index, val);
259 (ptrdiff_t)AC_RANGE_CHECK_INTR_TEST_REG_OFFSET,
269 dif_ac_range_check_irq_t irq,
272 if (ac_range_check == NULL || state == NULL) {
277 if (!ac_range_check_get_irq_bit_index(irq, &index)) {
281 uint32_t intr_enable_reg = mmio_region_read32(
283 (ptrdiff_t)AC_RANGE_CHECK_INTR_ENABLE_REG_OFFSET);
286 bool is_enabled = bitfield_bit32_read(intr_enable_reg, index);
287 *state = is_enabled ?
296 dif_ac_range_check_irq_t irq,
299 if (ac_range_check == NULL) {
304 if (!ac_range_check_get_irq_bit_index(irq, &index)) {
308 uint32_t intr_enable_reg = mmio_region_read32(
310 (ptrdiff_t)AC_RANGE_CHECK_INTR_ENABLE_REG_OFFSET);
314 intr_enable_reg = bitfield_bit32_write(intr_enable_reg, index, enable_bit);
317 (ptrdiff_t)AC_RANGE_CHECK_INTR_ENABLE_REG_OFFSET,