pvclock_tsc_khz    12 arch/x86/include/asm/pvclock.h unsigned long pvclock_tsc_khz(struct pvclock_vcpu_time_info *src);
pvclock_tsc_khz   131 arch/x86/kernel/kvmclock.c 	return pvclock_tsc_khz(this_cpu_pvti());
pvclock_tsc_khz    42 arch/x86/xen/time.c 	return pvclock_tsc_khz(info);