intc_readl
intc_readl(INTC_MIR0 + (0x20 * i));
tmp = intc_readl(INTC_REVISION) & 0xff;
tmp = intc_readl(INTC_SYSCONFIG);
while (!(intc_readl(INTC_SYSSTATUS) & 0x1))
if (intc_readl(INTC_PENDING_IRQ0 + (0x20 * i)))
reg = intc_readl(INTC_PROTECTION);
irqnr = intc_readl(INTC_SIR);
intc_readl(INTC_SYSCONFIG);
intc_readl(INTC_PROTECTION);
intc_readl(INTC_IDLE);
intc_readl(INTC_THRESHOLD);
intc_readl((INTC_ILR0 + 0x4 * i));