pvclock_get
uint64_t pvclock_get(struct timecounter *);
return (pvclock_get(tc));
pvclock_get(&pvclock_timecounter);