Lines Matching refs:pde
187 uint64_t *pml4e, *pdpe, *pde; in __virt_pg_map() local
220 pde = virt_create_upper_pte(vm, pdpe, vaddr, paddr, PG_LEVEL_2M, level); in __virt_pg_map()
221 if (*pde & PTE_LARGE_MASK) in __virt_pg_map()
225 pte = virt_get_pte(vm, pde, vaddr, PG_LEVEL_4K); in __virt_pg_map()
279 uint64_t *pml4e, *pdpe, *pde; in __vm_get_page_table_entry() local
308 pde = virt_get_pte(vm, pdpe, vaddr, PG_LEVEL_2M); in __vm_get_page_table_entry()
309 if (vm_is_target_pte(pde, level, PG_LEVEL_2M)) in __vm_get_page_table_entry()
310 return pde; in __vm_get_page_table_entry()
312 return virt_get_pte(vm, pde, vaddr, PG_LEVEL_4K); in __vm_get_page_table_entry()
326 uint64_t *pde, *pde_start; in virt_arch_dump() local
364 pde = &pde_start[n3]; in virt_arch_dump()
365 if (!(*pde & PTE_PRESENT_MASK)) in virt_arch_dump()
369 indent, "", pde - pde_start, pde, in virt_arch_dump()
370 addr_hva2gpa(vm, pde), in virt_arch_dump()
371 PTE_GET_PFN(*pde), !!(*pde & PTE_WRITABLE_MASK), in virt_arch_dump()
372 !!(*pde & PTE_NX_MASK)); in virt_arch_dump()
374 pte_start = addr_gpa2hva(vm, *pde & PHYSICAL_PAGE_MASK); in virt_arch_dump()