Searched refs:gtod_Ticks_per_sec_p (Results 1 – 1 of 1) sorted by relevance
56 volatile uint64_t *gtod_Ticks_per_sec_p; 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()