| tag | line | file | source code |
|---|---|---|---|
| TIME_BAD | 46 | kernel/sched.c | int time_status = TIME_BAD; /* clock synchronization status */ |
| TIME_BAD | 102 | kernel/time.c | time_status = TIME_BAD; |
| TIME_BAD | 277 | kernel/time.c | time_status = TIME_BAD; |
| TIME_BAD | 321 | kernel/time.c | if (txc.status < TIME_OK || txc.status > TIME_BAD) |
| TIME_BAD | 332 | kernel/time.c | if (time_status == TIME_BAD) |