Searched refs:user_tsc_khz (Results 1 – 1 of 1) sorted by relevance
1256 static int set_tsc_khz(struct kvm_vcpu *vcpu, u32 user_tsc_khz, bool scale) in set_tsc_khz() argument1268 if (user_tsc_khz > tsc_khz) { in set_tsc_khz()1280 user_tsc_khz, tsc_khz); in set_tsc_khz()1284 user_tsc_khz); in set_tsc_khz()3439 u32 user_tsc_khz; in kvm_arch_vcpu_ioctl() local3442 user_tsc_khz = (u32)arg; in kvm_arch_vcpu_ioctl()3444 if (user_tsc_khz >= kvm_max_guest_tsc_khz) in kvm_arch_vcpu_ioctl()3447 if (user_tsc_khz == 0) in kvm_arch_vcpu_ioctl()3448 user_tsc_khz = tsc_khz; in kvm_arch_vcpu_ioctl()3450 if (!kvm_set_tsc_khz(vcpu, user_tsc_khz)) in kvm_arch_vcpu_ioctl()