tc_tick           494 kern/kern_tc.c static int tc_tick;
tc_tick           501 kern/kern_tc.c 	if (++count < tc_tick)
tc_tick           521 kern/kern_tc.c 		tc_tick = (hz + 500) / 1000;
tc_tick           523 kern/kern_tc.c 		tc_tick = 1;
tc_tick           524 kern/kern_tc.c 	p = (tc_tick * 1000000) / hz;
tc_tick           546 kern/kern_tc.c 		return (sysctl_rdint(oldp, oldlenp, newp, tc_tick));