tickdelta         224 kern/kern_clock.c 	extern int tickdelta;
tickdelta         285 kern/kern_clock.c 		delta += tickdelta;
tickdelta         286 kern/kern_clock.c 		timedelta -= tickdelta;
tickdelta         356 kern/kern_time.c int	tickdelta;			/* current clock skew, us. per tick */
tickdelta         501 kern/kern_time.c 	tickdelta = ntickdelta;
tickdelta          65 sys/kernel.h   extern int tickdelta;