taglinefilesource code
time_state47arch/alpha/kernel/time.cif (time_state != TIME_BAD && xtime.tv_sec > last_rtc_update + 660 &&
time_state154arch/alpha/kernel/time.ctime_state = TIME_BAD;
time_state175arch/i386/kernel/time.ctime_state = TIME_BAD;
time_state256arch/i386/kernel/time.cif (time_state != TIME_BAD && xtime.tv_sec > last_rtc_update + 660 &&
time_state213include/linux/timex.hextern int time_state;    /* clock status */
time_state52kernel/sched.cint time_state = TIME_BAD;     /* clock synchronization status */
time_state531kernel/sched.cswitch (time_state) {
time_state535kernel/sched.ctime_state = TIME_INS;
time_state537kernel/sched.ctime_state = TIME_DEL;
time_state543kernel/sched.ctime_state = TIME_OOP;
time_state551kernel/sched.ctime_state = TIME_WAIT;
time_state557kernel/sched.ctime_state = TIME_WAIT;
time_state562kernel/sched.ctime_state = TIME_OK;
time_state64kernel/time.ctime_state = TIME_BAD;
time_state222kernel/time.cif (time_state == TIME_BAD)
time_state223kernel/time.ctime_state = TIME_OK;
time_state331kernel/time.creturn time_state;