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