Lines Matching defs:pml4e
190 uint64_t *pml4e, *pdpe, *pde;
215 pml4e = virt_create_upper_pte(vm, &vm->pgd, vaddr, paddr, PG_LEVEL_512G, level);
216 if (*pml4e & PTE_LARGE_MASK)
219 pdpe = virt_create_upper_pte(vm, pml4e, vaddr, paddr, PG_LEVEL_1G, level);
282 uint64_t *pml4e, *pdpe, *pde;
303 pml4e = virt_get_pte(vm, &vm->pgd, vaddr, PG_LEVEL_512G);
304 if (vm_is_target_pte(pml4e, level, PG_LEVEL_512G))
305 return pml4e;
307 pdpe = virt_get_pte(vm, pml4e, vaddr, PG_LEVEL_1G);
327 uint64_t *pml4e, *pml4e_start;
342 pml4e = &pml4e_start[n1];
343 if (!(*pml4e & PTE_PRESENT_MASK))
348 pml4e - pml4e_start, pml4e,
349 addr_hva2gpa(vm, pml4e), PTE_GET_PFN(*pml4e),
350 !!(*pml4e & PTE_WRITABLE_MASK), !!(*pml4e & PTE_NX_MASK));
352 pdpe_start = addr_gpa2hva(vm, *pml4e & PHYSICAL_PAGE_MASK);