Searched refs:wc_sec (Results 1 – 2 of 2) sorted by relevance
646 uint32_t wc_sec; /* Secs 00:00:00 UTC, Jan 1, 1970. */ member
299 ts->tv_sec = src->wc_sec; in xen_fetch_wallclock()