user_tsc_khz 1760 arch/x86/kvm/x86.c static int set_tsc_khz(struct kvm_vcpu *vcpu, u32 user_tsc_khz, bool scale) user_tsc_khz 1772 arch/x86/kvm/x86.c if (user_tsc_khz > tsc_khz) { user_tsc_khz 1784 arch/x86/kvm/x86.c user_tsc_khz, tsc_khz); user_tsc_khz 1788 arch/x86/kvm/x86.c user_tsc_khz); user_tsc_khz 1796 arch/x86/kvm/x86.c static int kvm_set_tsc_khz(struct kvm_vcpu *vcpu, u32 user_tsc_khz) user_tsc_khz 1802 arch/x86/kvm/x86.c if (user_tsc_khz == 0) { user_tsc_khz 1809 arch/x86/kvm/x86.c kvm_get_time_scale(user_tsc_khz * 1000LL, NSEC_PER_SEC, user_tsc_khz 1812 arch/x86/kvm/x86.c vcpu->arch.virtual_tsc_khz = user_tsc_khz; user_tsc_khz 1822 arch/x86/kvm/x86.c if (user_tsc_khz < thresh_lo || user_tsc_khz > thresh_hi) { user_tsc_khz 1823 arch/x86/kvm/x86.c pr_debug("kvm: requested TSC rate %u falls outside tolerance [%u,%u]\n", user_tsc_khz, thresh_lo, thresh_hi); user_tsc_khz 1826 arch/x86/kvm/x86.c return set_tsc_khz(vcpu, user_tsc_khz, use_scaling); user_tsc_khz 4431 arch/x86/kvm/x86.c u32 user_tsc_khz; user_tsc_khz 4434 arch/x86/kvm/x86.c user_tsc_khz = (u32)arg; user_tsc_khz 4436 arch/x86/kvm/x86.c if (user_tsc_khz >= kvm_max_guest_tsc_khz) user_tsc_khz 4439 arch/x86/kvm/x86.c if (user_tsc_khz == 0) user_tsc_khz 4440 arch/x86/kvm/x86.c user_tsc_khz = tsc_khz; user_tsc_khz 4442 arch/x86/kvm/x86.c if (!kvm_set_tsc_khz(vcpu, user_tsc_khz))