tag	line	file	source code
TIME_OOP	697	kernel/sched.c	time_state = TIME_OOP;
TIME_OOP	710	kernel/sched.c	case TIME_OOP: