Searched defs:user_tsc_khz (Results 1 – 3 of 3) sorted by relevance
995 static void svm_set_tsc_khz(struct kvm_vcpu *vcpu, u32 user_tsc_khz, bool scale) in svm_set_tsc_khz()
3532 u32 user_tsc_khz; in kvm_arch_vcpu_ioctl() local
2185 static void vmx_set_tsc_khz(struct kvm_vcpu *vcpu, u32 user_tsc_khz, bool scale) in vmx_set_tsc_khz()