Searched refs:wc_version (Results 1 – 2 of 2) sorted by relevance
58 xen_wc_version = si->wc_version; in todxen_get()67 } while ((si->wc_version & 1) | (xen_wc_version ^ si->wc_version)); in todxen_get()
513 uint32_t wc_version; /* Version counter: see vcpu_time_info_t. */ member