Searched refs:TimeStamp_sec (Results 1 – 5 of 5) sorted by relevance
47 uint64_t TimeStamp_sec; in __commpage_gettimeofday_internal() local62 gtod_TimeStamp_sec_p = &commpage_timeofday_datap->TimeStamp_sec; in __commpage_gettimeofday_internal()75 TimeStamp_sec = *gtod_TimeStamp_sec_p; in __commpage_gettimeofday_internal()99 if (TimeStamp_sec > __LONG_MAX__) { in __commpage_gettimeofday_internal()103 tp->tv_sec = (__darwin_time_t)TimeStamp_sec; in __commpage_gettimeofday_internal()
40 uint64_t TimeStamp_sec; member
141 volatile uint32_t TimeStamp_sec; member
793 p32->TimeStamp_sec = sec; in commpage_set_timestamp()794 p64->TimeStamp_sec = sec; in commpage_set_timestamp()
322 commpage_timeofday_datap->TimeStamp_sec = secs; in commpage_set_timestamp()