TC_FLAGS_C2STOP
if ((tc->tc_flags & TC_FLAGS_C2STOP) != 0)
if ((th->th_counter->tc_flags & TC_FLAGS_C2STOP) != 0)
tsc_timecounter.tc_flags |= TC_FLAGS_C2STOP;