Searched refs:pdpe_start (Results 1 – 1 of 1) sorted by relevance
327 uint64_t *pdpe, *pdpe_start; in virt_arch_dump() local351 pdpe_start = addr_gpa2hva(vm, *pml4e & PHYSICAL_PAGE_MASK); in virt_arch_dump()353 pdpe = &pdpe_start[n2]; in virt_arch_dump()359 pdpe - pdpe_start, pdpe, in virt_arch_dump()