this_cpu_pvti
return pvclock_tsc_khz(this_cpu_pvti());
pvclock_read_wallclock(&wall_clock, this_cpu_pvti(), now);
ret = pvclock_clocksource_read_nowd(this_cpu_pvti());
return pvclock_clocksource_read_nowd(this_cpu_pvti()) - kvm_sched_clock_offset;
src = this_cpu_pvti();
struct pvclock_vcpu_time_info *pvti = this_cpu_pvti();