tag	line	file	source code
TIME_OK	571	kernel/sched.c	case TIME_OK:
TIME_OK	601	kernel/sched.c	time_state = TIME_OK;
TIME_OK	223	kernel/time.c	time_state = TIME_OK;