tag	line	file	source code
TIME_INS	573	kernel/sched.c	time_state = TIME_INS;
TIME_INS	578	kernel/sched.c	case TIME_INS: