Searched defs:user_tsc_khz (Results 1 – 3 of 3) sorted by relevance
913 static void svm_set_tsc_khz(struct kvm_vcpu *vcpu, u32 user_tsc_khz) in svm_set_tsc_khz()
2784 u32 user_tsc_khz; in kvm_arch_vcpu_ioctl() local
1824 static void vmx_set_tsc_khz(struct kvm_vcpu *vcpu, u32 user_tsc_khz) in vmx_set_tsc_khz()