Searched refs:wc_version (Results 1 – 3 of 3) sorted by relevance
99 uint32_t *wc_version; in update_domain_wallclock_time() local104 wc_version = &shared_info(d, wc_version); in update_domain_wallclock_time()105 *wc_version = version_update_begin(*wc_version); in update_domain_wallclock_time()121 *wc_version = version_update_end(*wc_version); in update_domain_wallclock_time()
973 uint32_t wc_version; in get_wallclock_time() local977 wc_version = sh_info->wc_version & ~1; in get_wallclock_time()982 } while ( wc_version != sh_info->wc_version ); in get_wallclock_time()
745 uint32_t wc_version; /* Version counter: see vcpu_time_info_t. */ member
Completed in 9 milliseconds