taglinefilesource code
TIME_BAD53kernel/sched.cint time_status = TIME_BAD;     /* clock synchronization status */
TIME_BAD594kernel/sched.cif (time_status != TIME_BAD && xtime.tv_sec > last_rtc_update + 660 &&
TIME_BAD146kernel/time.ctime_status = TIME_BAD;
TIME_BAD328kernel/time.ctime_status = TIME_BAD;
TIME_BAD372kernel/time.cif (txc.status < TIME_OK || txc.status > TIME_BAD)
TIME_BAD388kernel/time.cif (time_status == TIME_BAD)