tag	line	file	source code
moff_timer	258	kernel/sched.c	static int moff_timer[4]={0,0,0,0};
moff_timer	268	kernel/sched.c	moff_timer[nr]=10000;    /* 100 s = very big :-) */
moff_timer	289	kernel/sched.c	moff_timer[nr]=3*HZ;
moff_timer	303	kernel/sched.c	} else if (!moff_timer[i]) {
moff_timer	307	kernel/sched.c	moff_timer[i]--;