Home
last modified time | relevance | path

Searched refs:wc_version (Results 1 – 3 of 3) sorted by relevance

/xen/xen/common/
A Dtime.c99 uint32_t *wc_version; in update_domain_wallclock_time() local
104 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()
/xen/xen/arch/x86/
A Dtime.c1187 uint32_t wc_version; in get_wallclock_time() local
1191 wc_version = sh_info->wc_version & ~1; in get_wallclock_time()
1196 } while ( wc_version != sh_info->wc_version ); in get_wallclock_time()
/xen/xen/include/public/
A Dxen.h790 uint32_t wc_version; /* Version counter: see vcpu_time_info_t. */ member

Completed in 12 milliseconds