Symbol: pvclock_get_timecount
sys/dev/xen/timer/xen_timer.c
163
return (pvclock_get_timecount(time));
sys/x86/include/pvclock.h
134
uint64_t pvclock_get_timecount(struct pvclock_vcpu_time_info *ti);