Lines Matching refs:pml4e
177 uint64_t *pml4e, *pdpe, *pde; in __virt_pg_map() local
200 pml4e = virt_create_upper_pte(vm, vm->pgd >> vm->page_shift, in __virt_pg_map()
202 if (*pml4e & PTE_LARGE_MASK) in __virt_pg_map()
205 pdpe = virt_create_upper_pte(vm, PTE_GET_PFN(*pml4e), vaddr, paddr, PG_LEVEL_1G, level); in __virt_pg_map()
249 uint64_t *pml4e, *pdpe, *pde; in _vm_get_page_table_entry() local
287 pml4e = addr_gpa2hva(vm, vm->pgd); in _vm_get_page_table_entry()
288 TEST_ASSERT(pml4e[index[3]] & PTE_PRESENT_MASK, in _vm_get_page_table_entry()
290 TEST_ASSERT((pml4e[index[3]] & (rsvd_mask | PTE_LARGE_MASK)) == 0, in _vm_get_page_table_entry()
293 pdpe = addr_gpa2hva(vm, PTE_GET_PFN(pml4e[index[3]]) * vm->page_size); in _vm_get_page_table_entry()
334 uint64_t *pml4e, *pml4e_start; in virt_arch_dump() local
349 pml4e = &pml4e_start[n1]; in virt_arch_dump()
350 if (!(*pml4e & PTE_PRESENT_MASK)) in virt_arch_dump()
355 pml4e - pml4e_start, pml4e, in virt_arch_dump()
356 addr_hva2gpa(vm, pml4e), PTE_GET_PFN(*pml4e), in virt_arch_dump()
357 !!(*pml4e & PTE_WRITABLE_MASK), !!(*pml4e & PTE_NX_MASK)); in virt_arch_dump()
359 pdpe_start = addr_gpa2hva(vm, *pml4e & PHYSICAL_PAGE_MASK); in virt_arch_dump()
516 uint64_t *pml4e, *pdpe, *pde; in addr_arch_gva2gpa() local
529 pml4e = addr_gpa2hva(vm, vm->pgd); in addr_arch_gva2gpa()
530 if (!(pml4e[index[3]] & PTE_PRESENT_MASK)) in addr_arch_gva2gpa()
533 pdpe = addr_gpa2hva(vm, PTE_GET_PFN(pml4e[index[3]]) * vm->page_size); in addr_arch_gva2gpa()