max_tsc_khz      1751 arch/x86/kvm/x86.c static unsigned long max_tsc_khz;
max_tsc_khz      7131 arch/x86/kvm/x86.c 	max_tsc_khz = tsc_khz;
max_tsc_khz      7142 arch/x86/kvm/x86.c 			max_tsc_khz = policy.cpuinfo.max_freq;
max_tsc_khz      9463 arch/x86/kvm/x86.c 	kvm_set_tsc_khz(vcpu, max_tsc_khz);