Searched refs:Ticks_per_sec (Results 1 – 4 of 4) sorted by relevance
50 uint64_t Ticks_per_sec; in __commpage_gettimeofday_internal() local65 gtod_Ticks_per_sec_p = &commpage_timeofday_datap->Ticks_per_sec; in __commpage_gettimeofday_internal()78 Ticks_per_sec = *gtod_Ticks_per_sec_p; in __commpage_gettimeofday_internal()95 if (delta >= Ticks_per_sec) { in __commpage_gettimeofday_internal()
43 uint64_t Ticks_per_sec; member
757 p32->Ticks_per_sec = tick_per_sec; in commpage_set_timestamp()758 p64->Ticks_per_sec = tick_per_sec; in commpage_set_timestamp()
302 commpage_timeofday_datap->Ticks_per_sec = tick_per_sec; in commpage_set_timestamp()