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_state569kernel/sched.cswitch (time_state) {
time_state573kernel/sched.ctime_state = TIME_INS;
time_state575kernel/sched.ctime_state = TIME_DEL;
time_state581kernel/sched.ctime_state = TIME_OOP;
time_state589kernel/sched.ctime_state = TIME_WAIT;
time_state596kernel/sched.ctime_state = TIME_WAIT;
time_state601kernel/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;