1422 static int set_tsc_khz(struct kvm_vcpu *vcpu, u32 user_tsc_khz, bool scale)  in set_tsc_khz()  argument
1434 		if (user_tsc_khz > tsc_khz) {  in set_tsc_khz()
1446 				user_tsc_khz, tsc_khz);  in set_tsc_khz()
1450 			  user_tsc_khz);  in set_tsc_khz()
1458 static int kvm_set_tsc_khz(struct kvm_vcpu *vcpu, u32 user_tsc_khz)  in kvm_set_tsc_khz()  argument
1464 	if (user_tsc_khz == 0) {  in kvm_set_tsc_khz()
1471 	kvm_get_time_scale(user_tsc_khz * 1000LL, NSEC_PER_SEC,  in kvm_set_tsc_khz()
1474 	vcpu->arch.virtual_tsc_khz = user_tsc_khz;  in kvm_set_tsc_khz()
1484 	if (user_tsc_khz < thresh_lo || user_tsc_khz > thresh_hi) {  in kvm_set_tsc_khz()
1485 …pr_debug("kvm: requested TSC rate %u falls outside tolerance [%u,%u]\n", user_tsc_khz, thresh_lo, …  in kvm_set_tsc_khz()
1488 	return set_tsc_khz(vcpu, user_tsc_khz, use_scaling);  in kvm_set_tsc_khz()
3971 		u32 user_tsc_khz;  in kvm_arch_vcpu_ioctl()  local
3974 		user_tsc_khz = (u32)arg;  in kvm_arch_vcpu_ioctl()
3976 		if (user_tsc_khz >= kvm_max_guest_tsc_khz)  in kvm_arch_vcpu_ioctl()
3979 		if (user_tsc_khz == 0)  in kvm_arch_vcpu_ioctl()
3980 			user_tsc_khz = tsc_khz;  in kvm_arch_vcpu_ioctl()
3982 		if (!kvm_set_tsc_khz(vcpu, user_tsc_khz))  in kvm_arch_vcpu_ioctl()