Searched refs:get_pdptr (Results 1 – 4 of 4) sorted by relevance
333 pte = mmu->get_pdptr(vcpu, (addr >> 30) & 3); in FNAME()
466 u64 (*get_pdptr)(struct kvm_vcpu *vcpu, int index); member
100 vcpu->arch.mmu->get_pdptr = nested_svm_get_tdp_pdptr; in nested_svm_init_mmu_context()
487 vcpu->arch.mmu->get_pdptr = kvm_pdptr_read; in nested_ept_init_mmu_context()