Symbol: pvclock_tsc_khz
arch/x86/include/asm/pvclock.h
14
unsigned long pvclock_tsc_khz(struct pvclock_vcpu_time_info *src);
arch/x86/kernel/kvmclock.c
142
return pvclock_tsc_khz(this_cpu_pvti());
arch/x86/xen/time.c
47
return pvclock_tsc_khz(info);
tools/arch/x86/include/asm/pvclock.h
12
unsigned long pvclock_tsc_khz(struct pvclock_vcpu_time_info *src);