Home
last modified time | relevance | path

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

/linux-3.3/arch/x86/kvm/
Dsvm.c913 static void svm_set_tsc_khz(struct kvm_vcpu *vcpu, u32 user_tsc_khz) in svm_set_tsc_khz()
Dx86.c2784 u32 user_tsc_khz; in kvm_arch_vcpu_ioctl() local
Dvmx.c1824 static void vmx_set_tsc_khz(struct kvm_vcpu *vcpu, u32 user_tsc_khz) in vmx_set_tsc_khz()