Symbol: pvclock_get_timecount
sys/dev/pv/pvclock.c
107
uint pvclock_get_timecount(struct timecounter *);
sys/dev/pv/pvclock.c
133
.tc_get_timecount = pvclock_get_timecount,