write_tc_c0_tcstatus
write_tc_c0_tcstatus(tmp);
write_tc_c0_tcstatus((read_tc_c0_tcstatus() & ~TCSTATUS_IXMT) | TCSTATUS_A);
write_tc_c0_tcstatus(tmp);
write_tc_c0_tcstatus(read_tc_c0_tcstatus() & ~TCSTATUS_A);
write_tc_c0_tcstatus(tmp);
write_tc_c0_tcstatus(val);