INTC_IRQ_PEND_REG
pend = INTC_READ(sc, INTC_IRQ_PEND_REG(group));
INTC_WRITE(sc, INTC_IRQ_PEND_REG(group), pend);
INTC_WRITE(sc, INTC_IRQ_PEND_REG(i),
INTC_READ(sc, INTC_IRQ_PEND_REG(i)));