kvm_max_guest_tsc_khz 1310 arch/x86/include/asm/kvm_host.h extern u32  kvm_max_guest_tsc_khz;
kvm_max_guest_tsc_khz  127 arch/x86/kvm/x86.c u32  __read_mostly kvm_max_guest_tsc_khz;
kvm_max_guest_tsc_khz  128 arch/x86/kvm/x86.c EXPORT_SYMBOL_GPL(kvm_max_guest_tsc_khz);
kvm_max_guest_tsc_khz 4436 arch/x86/kvm/x86.c 		if (user_tsc_khz >= kvm_max_guest_tsc_khz)
kvm_max_guest_tsc_khz 7005 arch/x86/kvm/x86.c 	kvm_max_guest_tsc_khz = tsc_khz;
kvm_max_guest_tsc_khz 9412 arch/x86/kvm/x86.c 		kvm_max_guest_tsc_khz = max;