Searched refs:pdptr (Results 1 - 1 of 1) sorted by relevance

/linux-4.4.14/arch/x86/kvm/
H A Dmmu.c3131 u64 pdptr, pm_mask; mmu_alloc_shadow_roots() local
3174 pdptr = vcpu->arch.mmu.get_pdptr(vcpu, i); mmu_alloc_shadow_roots()
3175 if (!is_present_gpte(pdptr)) { mmu_alloc_shadow_roots()
3179 root_gfn = pdptr >> PAGE_SHIFT; mmu_alloc_shadow_roots()

Completed in 89 milliseconds