Searched refs:pde_start (Results 1 – 1 of 1) sorted by relevance
413 uint64_t *pde, *pde_start; in virt_arch_dump() local449 pde_start = addr_gpa2hva(vm, *pdpe & PHYSICAL_PAGE_MASK); in virt_arch_dump()451 pde = &pde_start[n3]; in virt_arch_dump()456 indent, "", pde - pde_start, pde, in virt_arch_dump()