Searched refs:pdpe (Results 1 – 1 of 1) sorted by relevance
356 uint64_t *pdpe, *pdpe_start; in virt_arch_dump() local382 pdpe = &pdpe_start[n2]; in virt_arch_dump()383 if (!(*pdpe & PTE_PRESENT_MASK)) in virt_arch_dump()388 pdpe - pdpe_start, pdpe, in virt_arch_dump()389 addr_hva2gpa(vm, pdpe), in virt_arch_dump()390 PTE_GET_PFN(*pdpe), !!(*pdpe & PTE_WRITABLE_MASK), in virt_arch_dump()391 !!(*pdpe & PTE_NX_MASK)); in virt_arch_dump()393 pde_start = addr_gpa2hva(vm, *pdpe & PHYSICAL_PAGE_MASK); in virt_arch_dump()