pvclock_get_timecount
return (pvclock_get_timecount(time));
uint64_t pvclock_get_timecount(struct pvclock_vcpu_time_info *ti);