user_tsc_khz     1760 arch/x86/kvm/x86.c static int set_tsc_khz(struct kvm_vcpu *vcpu, u32 user_tsc_khz, bool scale)
user_tsc_khz     1772 arch/x86/kvm/x86.c 		if (user_tsc_khz > tsc_khz) {
user_tsc_khz     1784 arch/x86/kvm/x86.c 				user_tsc_khz, tsc_khz);
user_tsc_khz     1788 arch/x86/kvm/x86.c 			            user_tsc_khz);
user_tsc_khz     1796 arch/x86/kvm/x86.c static int kvm_set_tsc_khz(struct kvm_vcpu *vcpu, u32 user_tsc_khz)
user_tsc_khz     1802 arch/x86/kvm/x86.c 	if (user_tsc_khz == 0) {
user_tsc_khz     1809 arch/x86/kvm/x86.c 	kvm_get_time_scale(user_tsc_khz * 1000LL, NSEC_PER_SEC,
user_tsc_khz     1812 arch/x86/kvm/x86.c 	vcpu->arch.virtual_tsc_khz = user_tsc_khz;
user_tsc_khz     1822 arch/x86/kvm/x86.c 	if (user_tsc_khz < thresh_lo || user_tsc_khz > thresh_hi) {
user_tsc_khz     1823 arch/x86/kvm/x86.c 		pr_debug("kvm: requested TSC rate %u falls outside tolerance [%u,%u]\n", user_tsc_khz, thresh_lo, thresh_hi);
user_tsc_khz     1826 arch/x86/kvm/x86.c 	return set_tsc_khz(vcpu, user_tsc_khz, use_scaling);
user_tsc_khz     4431 arch/x86/kvm/x86.c 		u32 user_tsc_khz;
user_tsc_khz     4434 arch/x86/kvm/x86.c 		user_tsc_khz = (u32)arg;
user_tsc_khz     4436 arch/x86/kvm/x86.c 		if (user_tsc_khz >= kvm_max_guest_tsc_khz)
user_tsc_khz     4439 arch/x86/kvm/x86.c 		if (user_tsc_khz == 0)
user_tsc_khz     4440 arch/x86/kvm/x86.c 			user_tsc_khz = tsc_khz;
user_tsc_khz     4442 arch/x86/kvm/x86.c 		if (!kvm_set_tsc_khz(vcpu, user_tsc_khz))