TZIC_PRIOMASK
INTC_WRITE(tzic, TZIC_PRIOMASK, SW_TO_HW_IPL(IPL_NONE));
(void) INTC_READ(tzic, TZIC_PRIOMASK);