SW_INT_IRQ_PENDING_REG
aintc_write_4(sc, SW_INT_IRQ_PENDING_REG(0),
value = aintc_read_4(sc, SW_INT_IRQ_PENDING_REG(i));