Searched refs:reserved_gpa_bits (Results 1 – 4 of 4) sorted by relevance
448 vcpu->arch.reserved_gpa_bits = kvm_vcpu_reserved_gpa_bits_raw(vcpu); in kvm_vcpu_after_set_cpuid()
1055 return vcpu->arch.reserved_gpa_bits | rsvd_bits(5, 8) | rsvd_bits(1, 2); in pdptr_rsvd_bits()
938 u64 reserved_gpa_bits; member
5396 vcpu->arch.reserved_gpa_bits, in reset_guest_rsvds_bits_mask()5445 vcpu->arch.reserved_gpa_bits, execonly, in reset_rsvds_bits_mask_ept()