Lines Matching refs:pml4e
187 uint64_t *pml4e, *pdpe, *pde; in __virt_pg_map() local
212 pml4e = virt_create_upper_pte(vm, &vm->pgd, vaddr, paddr, PG_LEVEL_512G, level); in __virt_pg_map()
213 if (*pml4e & PTE_LARGE_MASK) in __virt_pg_map()
216 pdpe = virt_create_upper_pte(vm, pml4e, vaddr, paddr, PG_LEVEL_1G, level); in __virt_pg_map()
279 uint64_t *pml4e, *pdpe, *pde; in __vm_get_page_table_entry() local
300 pml4e = virt_get_pte(vm, &vm->pgd, vaddr, PG_LEVEL_512G); in __vm_get_page_table_entry()
301 if (vm_is_target_pte(pml4e, level, PG_LEVEL_512G)) in __vm_get_page_table_entry()
302 return pml4e; in __vm_get_page_table_entry()
304 pdpe = virt_get_pte(vm, pml4e, vaddr, PG_LEVEL_1G); in __vm_get_page_table_entry()
324 uint64_t *pml4e, *pml4e_start; in virt_arch_dump() local
339 pml4e = &pml4e_start[n1]; in virt_arch_dump()
340 if (!(*pml4e & PTE_PRESENT_MASK)) in virt_arch_dump()
345 pml4e - pml4e_start, pml4e, in virt_arch_dump()
346 addr_hva2gpa(vm, pml4e), PTE_GET_PFN(*pml4e), in virt_arch_dump()
347 !!(*pml4e & PTE_WRITABLE_MASK), !!(*pml4e & PTE_NX_MASK)); in virt_arch_dump()
349 pdpe_start = addr_gpa2hva(vm, *pml4e & PHYSICAL_PAGE_MASK); in virt_arch_dump()