__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);