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

/linux-4.4.14/arch/x86/include/asm/
H A Dkvm_host.h978 extern u32 kvm_max_guest_tsc_khz;
/linux-4.4.14/arch/x86/kvm/
H A Dx86.c110 u32 __read_mostly kvm_max_guest_tsc_khz; variable
111 EXPORT_SYMBOL_GPL(kvm_max_guest_tsc_khz); variable
3444 if (user_tsc_khz >= kvm_max_guest_tsc_khz) kvm_arch_vcpu_ioctl()
7490 kvm_max_guest_tsc_khz = max; kvm_arch_hardware_setup()

Completed in 95 milliseconds