tag	line	file	source code
lost_ticks	197	kernel/sched.c	static unsigned long lost_ticks = 0;
lost_ticks	714	kernel/sched.c	lost_ticks++;