Home
last modified time | relevance | path

Searched defs:user_tsc_khz (Results 1 – 3 of 3) sorted by relevance

/linux-4.1.27/arch/x86/kvm/
Dsvm.c995 static void svm_set_tsc_khz(struct kvm_vcpu *vcpu, u32 user_tsc_khz, bool scale) in svm_set_tsc_khz()
Dx86.c3596 u32 user_tsc_khz; in kvm_arch_vcpu_ioctl() local
Dvmx.c2280 static void vmx_set_tsc_khz(struct kvm_vcpu *vcpu, u32 user_tsc_khz, bool scale) in vmx_set_tsc_khz()