aintc_read_4
value = aintc_read_4(sc, SW_INT_ENABLE_REG(block));
value = aintc_read_4(sc, SW_INT_MASK_REG(block));
value = aintc_read_4(sc, SW_INT_ENABLE_REG(block));
value = aintc_read_4(sc, SW_INT_MASK_REG(block));
value = aintc_read_4(sc, SW_INT_IRQ_PENDING_REG(i));
irq = aintc_read_4(sc, INTC_SIR_IRQ);
x = aintc_read_4(sc, INTC_REVISION);
while(!(aintc_read_4(sc, INTC_SYSSTATUS) & 1));