Searched refs:user_tsc_khz (Results 1 – 1 of 1) sorted by relevance
| /Linux-v5.10/arch/x86/kvm/ |
| D | x86.c | 2040 static int set_tsc_khz(struct kvm_vcpu *vcpu, u32 user_tsc_khz, bool scale) in set_tsc_khz() argument
2052 if (user_tsc_khz > tsc_khz) { in set_tsc_khz()
2064 user_tsc_khz, tsc_khz); in set_tsc_khz()
2068 user_tsc_khz); in set_tsc_khz()
2076 static int kvm_set_tsc_khz(struct kvm_vcpu *vcpu, u32 user_tsc_khz) in kvm_set_tsc_khz() argument
2082 if (user_tsc_khz == 0) { in kvm_set_tsc_khz()
2089 kvm_get_time_scale(user_tsc_khz * 1000LL, NSEC_PER_SEC, in kvm_set_tsc_khz()
2092 vcpu->arch.virtual_tsc_khz = user_tsc_khz; in kvm_set_tsc_khz()
2102 if (user_tsc_khz < thresh_lo || user_tsc_khz > thresh_hi) { in kvm_set_tsc_khz()
2103 …pr_debug("kvm: requested TSC rate %u falls outside tolerance [%u,%u]\n", user_tsc_khz, thresh_lo, … in kvm_set_tsc_khz()
[all …]
|
