TCHALT_H
uasm_i_addiu(&p, GPR_T0, GPR_ZERO, TCHALT_H);
write_c0_tchalt(TCHALT_H);
} while (!(halted & TCHALT_H));
write_tc_c0_tchalt(TCHALT_H);
write_tc_c0_tchalt(TCHALT_H);
write_tc_c0_tchalt(TCHALT_H);
write_tc_c0_tchalt(TCHALT_H);
!(read_tc_c0_tchalt() & TCHALT_H)) {
write_tc_c0_tchalt(read_tc_c0_tchalt() & ~TCHALT_H);