tag	line	file	source code
lost_ticks_system	988	kernel/sched.c	static unsigned long lost_ticks_system = 0;
lost_ticks_system	1000	kernel/sched.c	system = lost_ticks_system;
lost_ticks_system	1001	kernel/sched.c	lost_ticks_system = 0;
lost_ticks_system	1029	kernel/sched.c	lost_ticks_system++;