__pvclock_read_cycles  224 arch/x86/include/asm/vdso/gettimeofday.h 		ret = __pvclock_read_cycles(pvti, rdtsc_ordered());
__pvclock_read_cycles   76 arch/x86/kernel/pvclock.c 		ret = __pvclock_read_cycles(src, rdtsc_ordered());
__pvclock_read_cycles 2303 arch/x86/kvm/x86.c 		ret = __pvclock_read_cycles(&hv_clock, rdtsc());
__pvclock_read_cycles   70 drivers/ptp/ptp_kvm.c 		ret = __pvclock_read_cycles(src, clock_pair.tsc);