aintc_write_4
aintc_write_4(sc, SW_INT_IRQ_PENDING_REG(0),
aintc_write_4(sc, SW_INT_ENABLE_REG(block), value);
aintc_write_4(sc, SW_INT_MASK_REG(block), value);
aintc_write_4(sc, SW_INT_ENABLE_REG(block), value);
aintc_write_4(sc, SW_INT_MASK_REG(block), value);
aintc_write_4(sc, SW_INT_ENABLE_REG(i), 0);
aintc_write_4(sc, SW_INT_MASK_REG(i), 0xffffffff);
aintc_write_4(sc, SW_INT_PROTECTION_REG, 0x01);
aintc_write_4(sc, SW_INT_NMI_CTRL_REG, 0x00);
aintc_write_4(sc, INTC_CONTROL, 1);
aintc_write_4(sc, INTC_MIR_SET(irq >> 5), (1UL << (irq & 0x1F)));
aintc_write_4(sc, INTC_MIR_CLEAR(irq >> 5), (1UL << (irq & 0x1F)));
aintc_write_4(sc, INTC_SYSCONFIG, 2);
aintc_write_4(sc, INTC_THRESHOLD, 0xFF);