RD94_SYS_EXT_IMASK
out32(RD94_SYS_EXT_IMASK, 0);
out32(RD94_SYS_EXT_IMASK, cpu_int_mask & (~MIPS_INT_MASK_3 >> 10));
out32(RD94_SYS_EXT_IMASK, cpu_int_mask);