Searched refs:Tick_scale (Results 1 – 1 of 1) sorted by relevance
49 uint64_t Tick_scale; in __commpage_gettimeofday_internal() local77 Tick_scale = *gtod_Ticks_scale_p; in __commpage_gettimeofday_internal()105 over = multi_overflow(Tick_scale, delta); in __commpage_gettimeofday_internal()112 frac += Tick_scale * delta; in __commpage_gettimeofday_internal()