Searched refs:max_guest_tsc_khz (Results 1 – 2 of 2) sorted by relevance
16 u32 max_guest_tsc_khz; member
5941 user_tsc_khz >= kvm_caps.max_guest_tsc_khz) in kvm_arch_vcpu_ioctl()7037 user_tsc_khz >= kvm_caps.max_guest_tsc_khz) in kvm_arch_vm_ioctl()9226 kvm_caps.max_guest_tsc_khz = tsc_khz; in kvm_hyperv_tsc_notifier()9584 kvm_caps.max_guest_tsc_khz = max; in __kvm_x86_vendor_init()