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