Searched refs:kvm_max_guest_tsc_khz (Results 1 – 2 of 2) sorted by relevance
1405 extern u32 kvm_max_guest_tsc_khz;
131 u32 __read_mostly kvm_max_guest_tsc_khz; variable132 EXPORT_SYMBOL_GPL(kvm_max_guest_tsc_khz);4981 user_tsc_khz >= kvm_max_guest_tsc_khz) in kvm_arch_vcpu_ioctl()7815 kvm_max_guest_tsc_khz = tsc_khz; in kvm_hyperv_tsc_notifier()10483 kvm_max_guest_tsc_khz = max; in kvm_arch_hardware_setup()