tag | line | file | source code |
---|---|---|---|
TIME_OK | 543 | kernel/sched.c | time_status = TIME_OK; |
TIME_OK | 549 | kernel/sched.c | time_status = TIME_OK; |
TIME_OK | 363 | kernel/time.c | if (txc.status < TIME_OK || txc.status > TIME_BAD) |
TIME_OK | 380 | kernel/time.c | time_status = TIME_OK; |