167 dif_sysrst_ctrl_irq_t irq,
170 if (sysrst_ctrl == NULL || is_pending == NULL) {
175 if (!sysrst_ctrl_get_irq_bit_index(irq, &index)) {
179 uint32_t intr_state_reg = mmio_region_read32(
181 (ptrdiff_t)SYSRST_CTRL_INTR_STATE_REG_OFFSET);
184 *is_pending = bitfield_bit32_read(intr_state_reg, index);
211 dif_sysrst_ctrl_irq_t irq) {
213 if (sysrst_ctrl == NULL) {
218 if (!sysrst_ctrl_get_irq_bit_index(irq, &index)) {
223 uint32_t intr_state_reg = bitfield_bit32_write(0, index,
true);
226 (ptrdiff_t)SYSRST_CTRL_INTR_STATE_REG_OFFSET,
236 dif_sysrst_ctrl_irq_t irq,
239 if (sysrst_ctrl == NULL) {
244 if (!sysrst_ctrl_get_irq_bit_index(irq, &index)) {
248 uint32_t intr_test_reg = bitfield_bit32_write(0, index, val);
251 (ptrdiff_t)SYSRST_CTRL_INTR_TEST_REG_OFFSET,
261 dif_sysrst_ctrl_irq_t irq,
264 if (sysrst_ctrl == NULL || state == NULL) {
269 if (!sysrst_ctrl_get_irq_bit_index(irq, &index)) {
273 uint32_t intr_enable_reg = mmio_region_read32(
275 (ptrdiff_t)SYSRST_CTRL_INTR_ENABLE_REG_OFFSET);
278 bool is_enabled = bitfield_bit32_read(intr_enable_reg, index);
279 *state = is_enabled ?
288 dif_sysrst_ctrl_irq_t irq,
291 if (sysrst_ctrl == NULL) {
296 if (!sysrst_ctrl_get_irq_bit_index(irq, &index)) {
300 uint32_t intr_enable_reg = mmio_region_read32(
302 (ptrdiff_t)SYSRST_CTRL_INTR_ENABLE_REG_OFFSET);
306 intr_enable_reg = bitfield_bit32_write(intr_enable_reg, index, enable_bit);
309 (ptrdiff_t)SYSRST_CTRL_INTR_ENABLE_REG_OFFSET,