Lines Matching refs:user_tsc_khz
2435 static int set_tsc_khz(struct kvm_vcpu *vcpu, u32 user_tsc_khz, bool scale)
2447 if (user_tsc_khz > tsc_khz) {
2459 user_tsc_khz, tsc_khz);
2463 user_tsc_khz);
2471 static int kvm_set_tsc_khz(struct kvm_vcpu *vcpu, u32 user_tsc_khz)
2477 if (user_tsc_khz == 0) {
2484 kvm_get_time_scale(user_tsc_khz * 1000LL, NSEC_PER_SEC,
2487 vcpu->arch.virtual_tsc_khz = user_tsc_khz;
2497 if (user_tsc_khz < thresh_lo || user_tsc_khz > thresh_hi) {
2499 user_tsc_khz, thresh_lo, thresh_hi);
2502 return set_tsc_khz(vcpu, user_tsc_khz, use_scaling);
5933 u32 user_tsc_khz;
5936 user_tsc_khz = (u32)arg;
5939 user_tsc_khz >= kvm_caps.max_guest_tsc_khz)
5942 if (user_tsc_khz == 0)
5943 user_tsc_khz = tsc_khz;
5945 if (!kvm_set_tsc_khz(vcpu, user_tsc_khz))
7029 u32 user_tsc_khz;
7032 user_tsc_khz = (u32)arg;
7035 user_tsc_khz >= kvm_caps.max_guest_tsc_khz)
7038 if (user_tsc_khz == 0)
7039 user_tsc_khz = tsc_khz;
7041 WRITE_ONCE(kvm->arch.default_tsc_khz, user_tsc_khz);