this_cpu_pvti      76 arch/x86/kernel/kvmclock.c 	pvclock_read_wallclock(&wall_clock, this_cpu_pvti(), now);
this_cpu_pvti      90 arch/x86/kernel/kvmclock.c 	ret = pvclock_clocksource_read(this_cpu_pvti());
this_cpu_pvti     131 arch/x86/kernel/kvmclock.c 	return pvclock_tsc_khz(this_cpu_pvti());