tag	line	file	source code
avg_cnt	396	kernel/sched.c	static int avg_cnt = 0;
avg_cnt	409	kernel/sched.c	if (--avg_cnt < 0) {
avg_cnt	410	kernel/sched.c	avg_cnt = 500;