tag	line	file	source code
lost_ticks_system	964	kernel/sched.c	static unsigned long lost_ticks_system = 0;
lost_ticks_system	976	kernel/sched.c	system = lost_ticks_system;
lost_ticks_system	977	kernel/sched.c	lost_ticks_system = 0;
lost_ticks_system	1005	kernel/sched.c	lost_ticks_system++;