INTC_READ
uint32_t pending = INTC_READ(sc, GEMINI_ICU_IRQ_STATUS);
v = INTC_READ(avic, priority_reg);
saved_nimask = INTC_READ(avic, IMX31_NIMASK);
irq = INTC_READ(avic, IMX31_NIVECSR);
pending = INTC_READ(tzic, TZIC_PND(group));
reg = INTC_READ(tzic, TZIC_PRIORITY(priority_offset));
(void) INTC_READ(tzic, TZIC_INTCNTL);
(void) INTC_READ(tzic, TZIC_INTCNTL);
(void) INTC_READ(tzic, TZIC_PRIOMASK);
(void) INTC_READ(tzic, TZIC_SYNCCTRL);
pend = INTC_READ(sc, INTC_IRQ_PEND_REG(group));
INTC_READ(sc, INTC_IRQ_PEND_REG(i)));
uint32_t cmr = INTC_READ(sc, cmr_reg);
uint32_t pending = INTC_READ(sc, reg);
uint32_t pending = INTC_READ(sc, group, INTC_PENDING_IRQ);