189 	uint64_t *pml4e, *pdpe, *pde;  in __virt_pg_map()  local
218 	pdpe = virt_create_upper_pte(vm, pml4e, vaddr, paddr, PG_LEVEL_1G, level);  in __virt_pg_map()
219 	if (*pdpe & PTE_LARGE_MASK)  in __virt_pg_map()
222 	pde = virt_create_upper_pte(vm, pdpe, vaddr, paddr, PG_LEVEL_2M, level);  in __virt_pg_map()
281 	uint64_t *pml4e, *pdpe, *pde;  in __vm_get_page_table_entry()  local
306 	pdpe = virt_get_pte(vm, pml4e, vaddr, PG_LEVEL_1G);  in __vm_get_page_table_entry()
307 	if (vm_is_target_pte(pdpe, level, PG_LEVEL_1G))  in __vm_get_page_table_entry()
308 		return pdpe;  in __vm_get_page_table_entry()
310 	pde = virt_get_pte(vm, pdpe, vaddr, PG_LEVEL_2M);  in __vm_get_page_table_entry()
327 	uint64_t *pdpe, *pdpe_start;  in virt_arch_dump()  local
353 			pdpe = &pdpe_start[n2];  in virt_arch_dump()
354 			if (!(*pdpe & PTE_PRESENT_MASK))  in virt_arch_dump()
359 				pdpe - pdpe_start, pdpe,  in virt_arch_dump()
360 				addr_hva2gpa(vm, pdpe),  in virt_arch_dump()
361 				PTE_GET_PFN(*pdpe), !!(*pdpe & PTE_WRITABLE_MASK),  in virt_arch_dump()
362 				!!(*pdpe & PTE_NX_MASK));  in virt_arch_dump()
364 			pde_start = addr_gpa2hva(vm, *pdpe & PHYSICAL_PAGE_MASK);  in virt_arch_dump()