pvclock_get_pvti_cpu0_va  114 arch/x86/entry/vdso/vma.c 			pvclock_get_pvti_cpu0_va();
pvclock_get_pvti_cpu0_va   98 arch/x86/include/asm/pvclock.h struct pvclock_vsyscall_time_info *pvclock_get_pvti_cpu0_va(void);
pvclock_get_pvti_cpu0_va  156 arch/x86/kernel/pvclock.c EXPORT_SYMBOL_GPL(pvclock_get_pvti_cpu0_va);
pvclock_get_pvti_cpu0_va  175 drivers/ptp/ptp_kvm.c 	hv_clock = pvclock_get_pvti_cpu0_va();