Searched refs:pdptr (Results 1 – 1 of 1) sorted by relevance
3585 u64 pdptr, pm_mask; in mmu_alloc_shadow_roots() local3631 pdptr = vcpu->arch.mmu.get_pdptr(vcpu, i); in mmu_alloc_shadow_roots()3632 if (!(pdptr & PT_PRESENT_MASK)) { in mmu_alloc_shadow_roots()3636 root_gfn = pdptr >> PAGE_SHIFT; in mmu_alloc_shadow_roots()
