Searched refs:wc_version (Results 1 – 2 of 2) sorted by relevance
198 wc = (struct pvclock_wall_clock *) &src->wc_version; in xen_fetch_wallclock()
790 uint32_t wc_version; /* Version counter: see vcpu_time_info_t. */ member