pvclock_read_wallclock
void pvclock_read_wallclock(struct pvclock_wall_clock *wall,
pvclock_read_wallclock(&wall_clock, this_cpu_pvti(), now);
pvclock_read_wallclock(wall_clock, vcpu_time, ts);