Searched refs:max_guest_tsc_khz (Results 1 – 2 of 2) sorted by relevance
16 u32 max_guest_tsc_khz; member
6155 user_tsc_khz >= kvm_caps.max_guest_tsc_khz) in kvm_arch_vcpu_ioctl()7295 user_tsc_khz >= kvm_caps.max_guest_tsc_khz) in kvm_arch_vm_ioctl()9436 kvm_caps.max_guest_tsc_khz = tsc_khz; in kvm_hyperv_tsc_notifier()9804 kvm_caps.max_guest_tsc_khz = max; in kvm_x86_vendor_init()