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

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

Completed in 138 milliseconds