Searched refs:user_tsc_khz (Results 1 – 4 of 4) sorted by relevance
795 void (*set_tsc_khz)(struct kvm_vcpu *vcpu, u32 user_tsc_khz, bool scale);
995 static void svm_set_tsc_khz(struct kvm_vcpu *vcpu, u32 user_tsc_khz, bool scale) in svm_set_tsc_khz() argument1009 if (user_tsc_khz > tsc_khz) { in svm_set_tsc_khz()1017 khz = user_tsc_khz; in svm_set_tsc_khz()1025 user_tsc_khz); in svm_set_tsc_khz()
3596 u32 user_tsc_khz; in kvm_arch_vcpu_ioctl() local3599 user_tsc_khz = (u32)arg; in kvm_arch_vcpu_ioctl()3601 if (user_tsc_khz >= kvm_max_guest_tsc_khz) in kvm_arch_vcpu_ioctl()3604 if (user_tsc_khz == 0) in kvm_arch_vcpu_ioctl()3605 user_tsc_khz = tsc_khz; in kvm_arch_vcpu_ioctl()3607 kvm_set_tsc_khz(vcpu, user_tsc_khz); in kvm_arch_vcpu_ioctl()
2280 static void vmx_set_tsc_khz(struct kvm_vcpu *vcpu, u32 user_tsc_khz, bool scale) in vmx_set_tsc_khz() argument2285 if (user_tsc_khz > tsc_khz) { in vmx_set_tsc_khz()