pvclock_read_retry  225 arch/x86/include/asm/vdso/gettimeofday.h 	} while (pvclock_read_retry(pvti, version));
pvclock_read_retry   62 arch/x86/kernel/pvclock.c 	} while (pvclock_read_retry(src, version));
pvclock_read_retry   78 arch/x86/kernel/pvclock.c 	} while (pvclock_read_retry(src, version));
pvclock_read_retry   71 drivers/ptp/ptp_kvm.c 	} while (pvclock_read_retry(src, version));