Searched refs:kvm_max_guest_tsc_khz (Results 1 – 2 of 2) sorted by relevance
978 extern u32 kvm_max_guest_tsc_khz;
110 u32 __read_mostly kvm_max_guest_tsc_khz; variable111 EXPORT_SYMBOL_GPL(kvm_max_guest_tsc_khz);3444 if (user_tsc_khz >= kvm_max_guest_tsc_khz) in kvm_arch_vcpu_ioctl()7490 kvm_max_guest_tsc_khz = max; in kvm_arch_hardware_setup()