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()
791 uint32_t wc_sec; member
1188 uint64_t wc_sec; in get_wallclock_time() local1194 wc_sec = sh_info->wc_sec; in get_wallclock_time()1198 return wc_sec + read_xen_timer() / 1000000000; in get_wallclock_time()
Completed in 10 milliseconds