rrticks_init       58 kern/sched_bsd.c int	rrticks_init;		/* # of hardclock ticks per roundrobin() */
rrticks_init       86 kern/sched_bsd.c 	rrticks_init = hz / 10;
rrticks_init      100 kern/sched_bsd.c 	spc->spc_rrticks = rrticks_init;
rrticks_init      122 sys/sched.h    extern int rrticks_init;		/* ticks per roundrobin() */