35 alert_idx = EDN_ALERT_TEST_RECOV_ALERT_BIT;
38 alert_idx = EDN_ALERT_TEST_FATAL_ALERT_BIT;
45 mmio_region_write32(edn->
base_addr, (ptrdiff_t)EDN_ALERT_TEST_REG_OFFSET,
58 *index_out = EDN_INTR_COMMON_EDN_CMD_REQ_DONE_BIT;
61 *index_out = EDN_INTR_COMMON_EDN_FATAL_ERR_BIT;
82 *type = irq_types[irq];
90 if (edn == NULL || snapshot == NULL) {
95 mmio_region_read32(edn->
base_addr, (ptrdiff_t)EDN_INTR_STATE_REG_OFFSET);
107 mmio_region_write32(edn->
base_addr, (ptrdiff_t)EDN_INTR_STATE_REG_OFFSET,
116 if (edn == NULL || is_pending == NULL) {
121 if (!edn_get_irq_bit_index(irq, &index)) {
125 uint32_t intr_state_reg =
126 mmio_region_read32(edn->
base_addr, (ptrdiff_t)EDN_INTR_STATE_REG_OFFSET);
140 mmio_region_write32(edn->
base_addr, (ptrdiff_t)EDN_INTR_STATE_REG_OFFSET,
153 if (!edn_get_irq_bit_index(irq, &index)) {
159 mmio_region_write32(edn->
base_addr, (ptrdiff_t)EDN_INTR_STATE_REG_OFFSET,
173 if (!edn_get_irq_bit_index(irq, &index)) {
178 mmio_region_write32(edn->
base_addr, (ptrdiff_t)EDN_INTR_TEST_REG_OFFSET,
187 if (edn == NULL || state == NULL) {
192 if (!edn_get_irq_bit_index(irq, &index)) {
196 uint32_t intr_enable_reg =
197 mmio_region_read32(edn->
base_addr, (ptrdiff_t)EDN_INTR_ENABLE_REG_OFFSET);
213 if (!edn_get_irq_bit_index(irq, &index)) {
217 uint32_t intr_enable_reg =
218 mmio_region_read32(edn->
base_addr, (ptrdiff_t)EDN_INTR_ENABLE_REG_OFFSET);
222 mmio_region_write32(edn->
base_addr, (ptrdiff_t)EDN_INTR_ENABLE_REG_OFFSET,
236 if (snapshot != NULL) {
237 *snapshot = mmio_region_read32(edn->
base_addr,
238 (ptrdiff_t)EDN_INTR_ENABLE_REG_OFFSET);
242 mmio_region_write32(edn->
base_addr, (ptrdiff_t)EDN_INTR_ENABLE_REG_OFFSET,
251 if (edn == NULL || snapshot == NULL) {
255 mmio_region_write32(edn->
base_addr, (ptrdiff_t)EDN_INTR_ENABLE_REG_OFFSET,