Symbol: pvclock_gettime
sys/dev/kvm_clock/kvm_clock.c
239
pvclock_gettime(&sc->pvc, ts);
sys/x86/include/pvclock.h
140
void pvclock_gettime(struct pvclock *pvc, struct timespec *ts);