Lines Matching refs:user_tsc_khz
2118 static int set_tsc_khz(struct kvm_vcpu *vcpu, u32 user_tsc_khz, bool scale)
2130 if (user_tsc_khz > tsc_khz) {
2142 user_tsc_khz, tsc_khz);
2146 user_tsc_khz);
2154 static int kvm_set_tsc_khz(struct kvm_vcpu *vcpu, u32 user_tsc_khz)
2160 if (user_tsc_khz == 0) {
2167 kvm_get_time_scale(user_tsc_khz * 1000LL, NSEC_PER_SEC,
2170 vcpu->arch.virtual_tsc_khz = user_tsc_khz;
2180 if (user_tsc_khz < thresh_lo || user_tsc_khz > thresh_hi) {
2181 pr_debug("kvm: requested TSC rate %u falls outside tolerance [%u,%u]\n", user_tsc_khz, thresh_lo, thresh_hi);
2184 return set_tsc_khz(vcpu, user_tsc_khz, use_scaling);
5047 u32 user_tsc_khz;
5050 user_tsc_khz = (u32)arg;
5053 user_tsc_khz >= kvm_max_guest_tsc_khz)
5056 if (user_tsc_khz == 0)
5057 user_tsc_khz = tsc_khz;
5059 if (!kvm_set_tsc_khz(vcpu, user_tsc_khz))