tickfixinterval   112 kern/kern_clock.c int	tickfix, tickfixinterval;	/* used if tick not really integral */
tickfixinterval   278 kern/kern_clock.c 		if (tickfixcnt >= tickfixinterval) {
tickfixinterval   280 kern/kern_clock.c 			tickfixcnt -= tickfixinterval;
tickfixinterval    59 sys/kernel.h   extern int tickfixinterval;	/* interval at which to apply adjustment */