Searched refs:gtod_TimeStamp_tick_p (Results 1 – 1 of 1) sorted by relevance
52 volatile uint64_t *gtod_TimeStamp_tick_p; in __commpage_gettimeofday_internal() local61 gtod_TimeStamp_tick_p = &commpage_timeofday_datap->TimeStamp_tick; in __commpage_gettimeofday_internal()68 TimeStamp_tick = *gtod_TimeStamp_tick_p; in __commpage_gettimeofday_internal()86 } while (TimeStamp_tick != *gtod_TimeStamp_tick_p); in __commpage_gettimeofday_internal()