Searched refs:wc_sec (Results 1 – 3 of 3) sorted by relevance
41 static uint64_t wc_sec; /* UTC time at last 'time update'. */ variable108 sec = wc_sec + d->time_offset_seconds; in update_domain_wallclock_time()109 shared_info(d, wc_sec) = sec; in update_domain_wallclock_time()137 wc_sec = x; in do_settime()150 return wc_sec + (wc_nsec + NOW()) / 1000000000ULL in get_localtime()157 return (SECONDS(wc_sec + d->time_offset_seconds) + wc_nsec + NOW()) in get_localtime_us()163 return wc_sec + (wc_nsec + NOW()) / 1000000000ULL; in get_sec()170 if ( !wc_sec ) in wallclock_time()173 seconds = NOW() + SECONDS(wc_sec) + wc_nsec; in wallclock_time()
974 uint64_t wc_sec; in get_wallclock_time() local980 wc_sec = sh_info->wc_sec; in get_wallclock_time()984 return wc_sec + read_xen_timer() / 1000000000; in get_wallclock_time()
746 uint32_t wc_sec; /* Secs 00:00:00 UTC, Jan 1, 1970. */ member
Completed in 12 milliseconds