arch/x86/include/asm/vdso/gettimeofday.h

127

ret = __pvclock_read_cycles(pvti, rdtsc_ordered());

arch/x86/kernel/pvclock.c

77

ret = __pvclock_read_cycles(src, rdtsc_ordered());

arch/x86/kvm/x86.c

3237

data->clock = __pvclock_read_cycles(&hv_clock, data->host_tsc);

arch/x86/kvm/x86.c

3508

__pvclock_read_cycles(&hv_clock, host_tsc);

arch/x86/kvm/xen.c

254

guest_now = __pvclock_read_cycles(&hv_clock, guest_tsc);

drivers/ptp/ptp_kvm_x86.c

123

*cycle = __pvclock_read_cycles(src, clock_pair->tsc);

drivers/ptp/ptp_vmclock.c

216

system_counter->cycles = __pvclock_read_cycles(pvti,

tools/testing/selftests/kvm/x86/kvm_clock_test.c

40

GUEST_SYNC_CLOCK(i, __pvclock_read_cycles(pvti, rdtsc()));