tag | line | file | source code |
---|---|---|---|
TIME_OK | 472 | kernel/sched.c | time_status = TIME_OK; |
TIME_OK | 478 | kernel/sched.c | time_status = TIME_OK; |
TIME_OK | 372 | kernel/time.c | if (txc.status < TIME_OK || txc.status > TIME_BAD) |
TIME_OK | 389 | kernel/time.c | time_status = TIME_OK; |