Symbol: pvclock_get
sys/dev/pv/pvclock.c
106
uint64_t pvclock_get(struct timecounter *);
sys/dev/pv/pvclock.c
362
return (pvclock_get(tc));
sys/dev/pv/pvclock.c
380
pvclock_get(&pvclock_timecounter);