Searched refs:kvm_pdptr_read (Results 1 – 3 of 3) sorted by relevance
154 static inline u64 kvm_pdptr_read(struct kvm_vcpu *vcpu, int index) in kvm_pdptr_read() function
12288 sregs2->pdptrs[i] = kvm_pdptr_read(vcpu, i); in __get_sregs2()
487 vcpu->arch.mmu->get_pdptr = kvm_pdptr_read; in nested_ept_init_mmu_context()