read_tc_c0_tchalt
halted = read_tc_c0_tchalt();
!(read_tc_c0_tchalt() & TCHALT_H)) {
write_tc_c0_tchalt(read_tc_c0_tchalt() & ~TCHALT_H);