Searched refs:kvm_max_guest_tsc_khz (Results 1 – 2 of 2) sorted by relevance
1396 extern u32 kvm_max_guest_tsc_khz;
130 u32 __read_mostly kvm_max_guest_tsc_khz; variable131 EXPORT_SYMBOL_GPL(kvm_max_guest_tsc_khz);4890 user_tsc_khz >= kvm_max_guest_tsc_khz) in kvm_arch_vcpu_ioctl()7604 kvm_max_guest_tsc_khz = tsc_khz; in kvm_hyperv_tsc_notifier()10212 kvm_max_guest_tsc_khz = max; in kvm_arch_hardware_setup()
