tag	line	file	source code
TIME_OK	508	kernel/sched.c	time_status = TIME_OK;
TIME_OK	514	kernel/sched.c	time_status = TIME_OK;
TIME_OK	348	kernel/time.c	if (txc.status < TIME_OK || txc.status > TIME_BAD)
TIME_OK	365	kernel/time.c	time_status = TIME_OK;