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