pvclock_set_pvti_cpu0_va   97 arch/x86/include/asm/pvclock.h void pvclock_set_pvti_cpu0_va(struct pvclock_vsyscall_time_info *pvti);
pvclock_set_pvti_cpu0_va  332 arch/x86/kernel/kvmclock.c 	pvclock_set_pvti_cpu0_va(hv_clock_boot);
pvclock_set_pvti_cpu0_va  468 arch/x86/xen/time.c 	pvclock_set_pvti_cpu0_va(xen_clock);