IMX31_NIMASK
saved_nimask = INTC_READ(avic, IMX31_NIMASK);
INTC_WRITE(avic, IMX31_NIMASK, ipl);
INTC_WRITE(avic, IMX31_NIMASK, saved_nimask);