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