Home
last modified time | relevance | path

Searched refs:pvclock_get_timecount (Results 1 – 3 of 3) sorted by relevance

/freebsd/sys/x86/include/
H A Dpvclock.h134 uint64_t pvclock_get_timecount(struct pvclock_vcpu_time_info *ti);
/freebsd/sys/x86/x86/
H A Dpvclock.c159 pvclock_get_timecount(struct pvclock_vcpu_time_info *ti) in pvclock_get_timecount() function
/freebsd/sys/dev/xen/timer/
H A Dxen_timer.c163 return (pvclock_get_timecount(time)); in xen_fetch_vcpu_time()