use_timer_freq   7727 arch/x86/kvm/vmx/vmx.c 		u64 use_timer_freq = 5000ULL * 1000 * 1000;
use_timer_freq   7735 arch/x86/kvm/vmx/vmx.c 			use_timer_freq = (u64)tsc_khz * 1000;
use_timer_freq   7736 arch/x86/kvm/vmx/vmx.c 		use_timer_freq >>= cpu_preemption_timer_multi;
use_timer_freq   7743 arch/x86/kvm/vmx/vmx.c 		if (use_timer_freq > 0xffffffffu / 10)