taglinefilesource code
TIME_BAD51kernel/sched.cint time_status = TIME_BAD;     /* clock synchronization status */
TIME_BAD477kernel/sched.cif (time_status != TIME_BAD && xtime.tv_sec > last_rtc_update + 660)
TIME_BAD136kernel/time.ctime_status = TIME_BAD;
TIME_BAD322kernel/time.ctime_status = TIME_BAD;
TIME_BAD366kernel/time.cif (txc.status < TIME_OK || txc.status > TIME_BAD)
TIME_BAD382kernel/time.cif (time_status == TIME_BAD)