schedhz           102 kern/kern_clock.c int	schedhz;
schedhz           563 kern/kern_clock.c 		if (schedhz == 0) {
schedhz           121 sys/sched.h    extern int schedhz;			/* ideally: 16 */