taglinefilesource code
TIME_BAD53kernel/sched.cint time_status = TIME_BAD;     /* clock synchronization status */
TIME_BAD569kernel/sched.cif (time_status != TIME_BAD && xtime.tv_sec > last_rtc_update + 660 &&
TIME_BAD152kernel/time.ctime_status = TIME_BAD;
TIME_BAD332kernel/time.ctime_status = TIME_BAD;
TIME_BAD376kernel/time.cif (txc.status < TIME_OK || txc.status > TIME_BAD)
TIME_BAD392kernel/time.cif (time_status == TIME_BAD)