178 if (dma == NULL || is_pending == NULL) {
183 if (!dma_get_irq_bit_index(irq, &index)) {
187 uint32_t intr_state_reg = mmio_region_read32(
189 (ptrdiff_t)DMA_INTR_STATE_REG_OFFSET);
192 *is_pending = bitfield_bit32_read(intr_state_reg, index);
304 if (!dma_get_irq_bit_index(irq, &index)) {
308 uint32_t intr_enable_reg = mmio_region_read32(
310 (ptrdiff_t)DMA_INTR_ENABLE_REG_OFFSET);
314 intr_enable_reg = bitfield_bit32_write(intr_enable_reg, index, enable_bit);
317 (ptrdiff_t)DMA_INTR_ENABLE_REG_OFFSET,