tickfix           112 kern/kern_clock.c int	tickfix, tickfixinterval;	/* used if tick not really integral */
tickfix           276 kern/kern_clock.c 	if (tickfix) {
tickfix           277 kern/kern_clock.c 		tickfixcnt += tickfix;
tickfix            58 sys/kernel.h   extern int tickfix;		/* periodic tick adj. tick not integral */