Searched refs:pml4e (Results 1 – 1 of 1) sorted by relevance
355 uint64_t *pml4e, *pml4e_start; in virt_arch_dump() local370 pml4e = &pml4e_start[n1]; in virt_arch_dump()371 if (!(*pml4e & PTE_PRESENT_MASK)) in virt_arch_dump()376 pml4e - pml4e_start, pml4e, in virt_arch_dump()377 addr_hva2gpa(vm, pml4e), PTE_GET_PFN(*pml4e), in virt_arch_dump()378 !!(*pml4e & PTE_WRITABLE_MASK), !!(*pml4e & PTE_NX_MASK)); in virt_arch_dump()380 pdpe_start = addr_gpa2hva(vm, *pml4e & PHYSICAL_PAGE_MASK); in virt_arch_dump()