Searched refs:pdptr_rsvd_bits (Results 1 – 1 of 1) sorted by relevance
1048 static inline u64 pdptr_rsvd_bits(struct kvm_vcpu *vcpu) in pdptr_rsvd_bits() function1082 (pdpte[i] & pdptr_rsvd_bits(vcpu))) { in load_pdptrs()