pvti_cpu0_va       20 arch/x86/kernel/pvclock.c static struct pvclock_vsyscall_time_info *pvti_cpu0_va __read_mostly;
pvti_cpu0_va      149 arch/x86/kernel/pvclock.c 	pvti_cpu0_va = pvti;
pvti_cpu0_va      154 arch/x86/kernel/pvclock.c 	return pvti_cpu0_va;