tag	line	file	source code
TIME_DEL	575	kernel/sched.c	time_state = TIME_DEL;
TIME_DEL	586	kernel/sched.c	case TIME_DEL: