pvclock_read_begin  219 arch/x86/include/asm/vdso/gettimeofday.h 		version = pvclock_read_begin(pvti);
pvclock_read_begin   60 arch/x86/kernel/pvclock.c 		version = pvclock_read_begin(src);
pvclock_read_begin   75 arch/x86/kernel/pvclock.c 		version = pvclock_read_begin(src);
pvclock_read_begin   56 drivers/ptp/ptp_kvm.c 		version = pvclock_read_begin(src);