Searched refs:max_guest_tsc_khz (Results 1 – 2 of 2) sorted by relevance
16 u32 max_guest_tsc_khz; member
5933 user_tsc_khz >= kvm_caps.max_guest_tsc_khz) in kvm_arch_vcpu_ioctl()7029 user_tsc_khz >= kvm_caps.max_guest_tsc_khz) in kvm_arch_vm_ioctl()9208 kvm_caps.max_guest_tsc_khz = tsc_khz; in kvm_hyperv_tsc_notifier()9566 kvm_caps.max_guest_tsc_khz = max; in __kvm_x86_vendor_init()
