Searched refs:pdpe_start (Results 1 – 1 of 1) sorted by relevance
309 uint64_t *pdpe, *pdpe_start; in virt_arch_dump() local333 pdpe_start = addr_gpa2hva(vm, *pml4e & PHYSICAL_PAGE_MASK); in virt_arch_dump()335 pdpe = &pdpe_start[n2]; in virt_arch_dump()341 pdpe - pdpe_start, pdpe, in virt_arch_dump()
