vmi_tsc_khz       935 arch/x86/kernel/vmi_32.c 		pv_time_ops.get_tsc_khz = vmi_tsc_khz;
vmi_tsc_khz        53 include/asm-x86/vmi_time.h extern unsigned long vmi_tsc_khz(void);