ntp_tick_permanent  226 kern/kern_clock.c 	extern int64_t ntp_tick_permanent;
ntp_tick_permanent  296 kern/kern_clock.c 	if (ntp_tick_permanent != 0) {
ntp_tick_permanent  297 kern/kern_clock.c 		ntp_tick_acc += ntp_tick_permanent;
ntp_tick_permanent  359 kern/kern_time.c int64_t	ntp_tick_permanent;
ntp_tick_permanent  377 kern/kern_time.c 		f = ntp_tick_permanent * hz;
ntp_tick_permanent  389 kern/kern_time.c 		ntp_tick_permanent = f / hz;