Searched refs:pdpt_page (Results 1 – 1 of 1) sorted by relevance
264 uint64_t *pdpt_page = pml4e_page_vaddr(*pml4e); in modify_or_del_pdpte() local270 uint64_t *pdpte = pdpt_page + index; in modify_or_del_pdpte()468 uint64_t *pdpt_page = pml4e_page_vaddr(*pml4e); in add_pdpte() local476 uint64_t *pdpte = pdpt_page + index; in add_pdpte()569 void *pdpt_page = alloc_page(table->pool); in pgtable_add_map() local570 construct_pgentry(pml4e, pdpt_page, table->default_access_right, table); in pgtable_add_map()
Completed in 3 milliseconds