Home
last modified time | relevance | path

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

/freebsd-10-stable/sys/dev/xen/timer/
Dtimer.c297 version = src->wc_version; in xen_fetch_wallclock()
302 } while ((src->wc_version & 1) | (version ^ src->wc_version)); in xen_fetch_wallclock()
/freebsd-10-stable/sys/xen/interface/
Dxen.h645 uint32_t wc_version; /* Version counter: see vcpu_time_info_t. */ member