177 if (edn == NULL || is_pending == NULL) {
182 if (!edn_get_irq_bit_index(irq, &index)) {
186 uint32_t intr_state_reg = mmio_region_read32(
188 (ptrdiff_t)EDN_INTR_STATE_REG_OFFSET);
191 *is_pending = bitfield_bit32_read(intr_state_reg, index);
303 if (!edn_get_irq_bit_index(irq, &index)) {
307 uint32_t intr_enable_reg = mmio_region_read32(
309 (ptrdiff_t)EDN_INTR_ENABLE_REG_OFFSET);
313 intr_enable_reg = bitfield_bit32_write(intr_enable_reg, index, enable_bit);
316 (ptrdiff_t)EDN_INTR_ENABLE_REG_OFFSET,