Symbol: pvclock_tsc_freq
sys/dev/kvm_clock/kvm_clock.c
258
uint64_t freq = pvclock_tsc_freq(sc->timeinfos);
sys/x86/include/pvclock.h
133
uint64_t pvclock_tsc_freq(struct pvclock_vcpu_time_info *ti);