INTC_MIRn
bus_space_write_4(intc_iot, intc_ioh, INTC_MIRn(i), 0xffffffff);
INTC_MIRn(i), intc_imask[i][new]);