Searched refs:xen_wc_version (Results 1 – 1 of 1) sorted by relevance
49 uint32_t xen_wc_version; in todxen_get() local58 xen_wc_version = si->wc_version; in todxen_get()67 } while ((si->wc_version & 1) | (xen_wc_version ^ si->wc_version)); in todxen_get()