DMA_IRQ_PEND_REG0_REG
pend0 = DMA_READ(sc, DMA_IRQ_PEND_REG0_REG);
DMA_WRITE(sc, DMA_IRQ_PEND_REG0_REG, pend0);
DMA_WRITE(sc, DMA_IRQ_PEND_REG0_REG, ~0);
device_printf(dev, "DMA_IRQ_PEND_REG0_REG: %08x\n", DMA_READ(sc, DMA_IRQ_PEND_REG0_REG));