Lines Matching refs:pde
185 uint64_t *pml4e, *pdpe, *pde; in __virt_pg_map() local
216 pde = virt_create_upper_pte(vm, pdpe, vaddr, paddr, PG_LEVEL_2M, level); in __virt_pg_map()
217 if (*pde & PTE_LARGE_MASK) in __virt_pg_map()
221 pte = virt_get_pte(vm, pde, vaddr, PG_LEVEL_4K); in __virt_pg_map()
266 uint64_t *pml4e, *pdpe, *pde; in __vm_get_page_table_entry() local
292 pde = virt_get_pte(vm, pdpe, vaddr, PG_LEVEL_2M); in __vm_get_page_table_entry()
293 if (vm_is_target_pte(pde, level, PG_LEVEL_2M)) in __vm_get_page_table_entry()
294 return pde; in __vm_get_page_table_entry()
296 return virt_get_pte(vm, pde, vaddr, PG_LEVEL_4K); in __vm_get_page_table_entry()
310 uint64_t *pde, *pde_start; in virt_arch_dump() local
348 pde = &pde_start[n3]; in virt_arch_dump()
349 if (!(*pde & PTE_PRESENT_MASK)) in virt_arch_dump()
353 indent, "", pde - pde_start, pde, in virt_arch_dump()
354 addr_hva2gpa(vm, pde), in virt_arch_dump()
355 PTE_GET_PFN(*pde), !!(*pde & PTE_WRITABLE_MASK), in virt_arch_dump()
356 !!(*pde & PTE_NX_MASK)); in virt_arch_dump()
358 pte_start = addr_gpa2hva(vm, *pde & PHYSICAL_PAGE_MASK); in virt_arch_dump()