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