Searched refs:root_pgd (Results 1 – 1 of 1) sorted by relevance
3840 gfn_t root_gfn, root_pgd; in mmu_alloc_shadow_roots() local3844 root_pgd = kvm_mmu_get_guest_pgd(vcpu, mmu); in mmu_alloc_shadow_roots()3845 root_gfn = (root_pgd & __PT_BASE_ADDR_MASK) >> PAGE_SHIFT; in mmu_alloc_shadow_roots()3947 mmu->root.pgd = root_pgd; in mmu_alloc_shadow_roots()