Searched refs:max_guest_tsc_khz (Results 1 – 2 of 2) sorted by relevance
15 u32 max_guest_tsc_khz; member
5809 user_tsc_khz >= kvm_caps.max_guest_tsc_khz) in kvm_arch_vcpu_ioctl()6908 user_tsc_khz >= kvm_caps.max_guest_tsc_khz) in kvm_arch_vm_ioctl()9133 kvm_caps.max_guest_tsc_khz = tsc_khz; in kvm_hyperv_tsc_notifier()12305 kvm_caps.max_guest_tsc_khz = max; in kvm_arch_hardware_setup()