Home
last modified time | relevance | path

Searched refs:kvm_max_guest_tsc_khz (Results 1 – 3 of 3) sorted by relevance

/linux-4.1.27/arch/x86/include/asm/
Dkvm_host.h917 extern u32 kvm_max_guest_tsc_khz;
/linux-4.1.27/arch/x86/kvm/
Dx86.c104 u32 kvm_max_guest_tsc_khz; variable
105 EXPORT_SYMBOL_GPL(kvm_max_guest_tsc_khz);
3601 if (user_tsc_khz >= kvm_max_guest_tsc_khz) in kvm_arch_vcpu_ioctl()
Dsvm.c905 kvm_max_guest_tsc_khz = max; in svm_hardware_setup()