| tag | line | file | source code |
|---|---|---|---|
| TIME_BAD | 49 | kernel/sched.c | int time_status = TIME_BAD; /* clock synchronization status */ |
| TIME_BAD | 129 | kernel/time.c | time_status = TIME_BAD; |
| TIME_BAD | 304 | kernel/time.c | time_status = TIME_BAD; |
| TIME_BAD | 348 | kernel/time.c | if (txc.status < TIME_OK || txc.status > TIME_BAD) |
| TIME_BAD | 364 | kernel/time.c | if (time_status == TIME_BAD) |