pvclock_clocksource_read_nowd
u64 pvclock_clocksource_read_nowd(struct pvclock_vcpu_time_info *src);
ret = pvclock_clocksource_read_nowd(this_cpu_pvti());
return pvclock_clocksource_read_nowd(this_cpu_pvti()) - kvm_sched_clock_offset;
ret = pvclock_clocksource_read_nowd(src);