Lines Matching refs:user_tsc_khz
1697 static int set_tsc_khz(struct kvm_vcpu *vcpu, u32 user_tsc_khz, bool scale) in set_tsc_khz() argument
1709 if (user_tsc_khz > tsc_khz) { in set_tsc_khz()
1721 user_tsc_khz, tsc_khz); in set_tsc_khz()
1725 user_tsc_khz); in set_tsc_khz()
1733 static int kvm_set_tsc_khz(struct kvm_vcpu *vcpu, u32 user_tsc_khz) in kvm_set_tsc_khz() argument
1739 if (user_tsc_khz == 0) { in kvm_set_tsc_khz()
1746 kvm_get_time_scale(user_tsc_khz * 1000LL, NSEC_PER_SEC, in kvm_set_tsc_khz()
1749 vcpu->arch.virtual_tsc_khz = user_tsc_khz; in kvm_set_tsc_khz()
1759 if (user_tsc_khz < thresh_lo || user_tsc_khz > thresh_hi) { in kvm_set_tsc_khz()
1760 …pr_debug("kvm: requested TSC rate %u falls outside tolerance [%u,%u]\n", user_tsc_khz, thresh_lo, … in kvm_set_tsc_khz()
1763 return set_tsc_khz(vcpu, user_tsc_khz, use_scaling); in kvm_set_tsc_khz()
4359 u32 user_tsc_khz; in kvm_arch_vcpu_ioctl() local
4362 user_tsc_khz = (u32)arg; in kvm_arch_vcpu_ioctl()
4364 if (user_tsc_khz >= kvm_max_guest_tsc_khz) in kvm_arch_vcpu_ioctl()
4367 if (user_tsc_khz == 0) in kvm_arch_vcpu_ioctl()
4368 user_tsc_khz = tsc_khz; in kvm_arch_vcpu_ioctl()
4370 if (!kvm_set_tsc_khz(vcpu, user_tsc_khz)) in kvm_arch_vcpu_ioctl()