Searched refs:max_guest_tsc_khz (Results 1 – 2 of 2) sorted by relevance
17 u32 max_guest_tsc_khz; member
6153 user_tsc_khz >= kvm_caps.max_guest_tsc_khz) in kvm_arch_vcpu_ioctl()7287 user_tsc_khz >= kvm_caps.max_guest_tsc_khz) in kvm_arch_vm_ioctl()9466 kvm_caps.max_guest_tsc_khz = tsc_khz; in kvm_hyperv_tsc_notifier()9830 kvm_caps.max_guest_tsc_khz = max; in kvm_x86_vendor_init()