Symbol: pvclock_init
sys/dev/kvm_clock/kvm_clock.c
201
pvclock_init(&sc->pvc, dev, KVM_CLOCK_DEVNAME, KVM_CLOCK_TC_QUALITY, 0);
sys/x86/include/pvclock.h
138
void pvclock_init(struct pvclock *pvc, device_t dev,