Lines Matching refs:pdpe
187 uint64_t *pml4e, *pdpe, *pde; in __virt_pg_map() local
216 pdpe = virt_create_upper_pte(vm, pml4e, vaddr, paddr, PG_LEVEL_1G, level); in __virt_pg_map()
217 if (*pdpe & PTE_LARGE_MASK) in __virt_pg_map()
220 pde = virt_create_upper_pte(vm, pdpe, vaddr, paddr, PG_LEVEL_2M, level); in __virt_pg_map()
279 uint64_t *pml4e, *pdpe, *pde; in __vm_get_page_table_entry() local
304 pdpe = virt_get_pte(vm, pml4e, vaddr, PG_LEVEL_1G); in __vm_get_page_table_entry()
305 if (vm_is_target_pte(pdpe, level, PG_LEVEL_1G)) in __vm_get_page_table_entry()
306 return pdpe; in __vm_get_page_table_entry()
308 pde = virt_get_pte(vm, pdpe, vaddr, PG_LEVEL_2M); in __vm_get_page_table_entry()
325 uint64_t *pdpe, *pdpe_start; in virt_arch_dump() local
351 pdpe = &pdpe_start[n2]; in virt_arch_dump()
352 if (!(*pdpe & PTE_PRESENT_MASK)) in virt_arch_dump()
357 pdpe - pdpe_start, pdpe, in virt_arch_dump()
358 addr_hva2gpa(vm, pdpe), in virt_arch_dump()
359 PTE_GET_PFN(*pdpe), !!(*pdpe & PTE_WRITABLE_MASK), in virt_arch_dump()
360 !!(*pdpe & PTE_NX_MASK)); in virt_arch_dump()
362 pde_start = addr_gpa2hva(vm, *pdpe & PHYSICAL_PAGE_MASK); in virt_arch_dump()