| tag | line | file | source code |
|---|---|---|---|
| TIME_BAD | 49 | kernel/sched.c | int time_status = TIME_BAD; /* clock synchronization status */ |
| TIME_BAD | 128 | kernel/time.c | time_status = TIME_BAD; |
| TIME_BAD | 303 | kernel/time.c | time_status = TIME_BAD; |
| TIME_BAD | 347 | kernel/time.c | if (txc.status < TIME_OK || txc.status > TIME_BAD) |
| TIME_BAD | 363 | kernel/time.c | if (time_status == TIME_BAD) |