tag	line	file	source code
TIME_OK	620	kernel/sched.c	case TIME_OK:
TIME_OK	650	kernel/sched.c	time_state = TIME_OK;
TIME_OK	239	kernel/time.c	time_state = TIME_OK;