Searched refs:kvm_max_guest_tsc_khz (Results 1 – 2 of 2) sorted by relevance
1604 extern u32 kvm_max_guest_tsc_khz;
150 u32 __read_mostly kvm_max_guest_tsc_khz; variable151 EXPORT_SYMBOL_GPL(kvm_max_guest_tsc_khz);5212 user_tsc_khz >= kvm_max_guest_tsc_khz) in kvm_arch_vcpu_ioctl()8154 kvm_max_guest_tsc_khz = tsc_khz; in kvm_hyperv_tsc_notifier()11123 kvm_max_guest_tsc_khz = max; in kvm_arch_hardware_setup()
