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;