ntp_tick_acc      227 kern/kern_clock.c 	extern int64_t ntp_tick_acc;
ntp_tick_acc      297 kern/kern_clock.c 		ntp_tick_acc += ntp_tick_permanent;
ntp_tick_acc      298 kern/kern_clock.c 		while (ntp_tick_acc >= (1000LL << 32)) {
ntp_tick_acc      300 kern/kern_clock.c 			ntp_tick_acc -= (1000LL << 32);
ntp_tick_acc      302 kern/kern_clock.c 		while (ntp_tick_acc <= -(1000LL << 32)) {
ntp_tick_acc      304 kern/kern_clock.c 			ntp_tick_acc += (1000LL << 32);
ntp_tick_acc      360 kern/kern_time.c int64_t	ntp_tick_acc;