Symbol: pvclock_destroy
sys/dev/kvm_clock/kvm_clock.c
211
return (pvclock_destroy(&sc->pvc));
sys/x86/include/pvclock.h
141
int pvclock_destroy(struct pvclock *pvc);