Searched refs:cr4_guest_rsvd_bits (Results 1 – 4 of 4) sorted by relevance
589 return !(cr4 & vcpu->arch.cr4_guest_rsvd_bits); in __kvm_is_valid_cr4()
465 vcpu->arch.cr4_guest_rsvd_bits = __cr4_reserved_bits(__kvm_cpu_cap_has, UNUSED_) | in kvm_vcpu_after_set_cpuid()
779 unsigned long cr4_guest_rsvd_bits; member
4411 ~vcpu->arch.cr4_guest_rsvd_bits; in set_cr4_guest_host_mask()