Home
last modified time | relevance | path

Searched refs:pdpt_page (Results 1 – 1 of 1) sorted by relevance

/hypervisor/arch/x86/
A Dpagetable.c264 uint64_t *pdpt_page = pml4e_page_vaddr(*pml4e); in modify_or_del_pdpte() local
270 uint64_t *pdpte = pdpt_page + index; in modify_or_del_pdpte()
468 uint64_t *pdpt_page = pml4e_page_vaddr(*pml4e); in add_pdpte() local
476 uint64_t *pdpte = pdpt_page + index; in add_pdpte()
569 void *pdpt_page = alloc_page(table->pool); in pgtable_add_map() local
570 construct_pgentry(pml4e, pdpt_page, table->default_access_right, table); in pgtable_add_map()

Completed in 3 milliseconds