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