Searched refs:kvm_max_guest_tsc_khz (Results 1 – 2 of 2) sorted by relevance
1225 extern u32 kvm_max_guest_tsc_khz;
125 u32 __read_mostly kvm_max_guest_tsc_khz; variable126 EXPORT_SYMBOL_GPL(kvm_max_guest_tsc_khz);3976 if (user_tsc_khz >= kvm_max_guest_tsc_khz) in kvm_arch_vcpu_ioctl()6417 kvm_max_guest_tsc_khz = tsc_khz; in kvm_hyperv_tsc_notifier()8720 kvm_max_guest_tsc_khz = max; in kvm_arch_hardware_setup()
