Searched refs:pml4e_page_vaddr (Results 1 – 2 of 2) sorted by relevance
357 static inline uint64_t *pml4e_page_vaddr(uint64_t pml4e) in pml4e_page_vaddr() function419 return pml4e_page_vaddr(*pml4e) + pdpte_index(addr); in pdpte_offset()
264 uint64_t *pdpt_page = pml4e_page_vaddr(*pml4e); in modify_or_del_pdpte()468 uint64_t *pdpt_page = pml4e_page_vaddr(*pml4e); in add_pdpte()659 dest_pdpte_p = pml4e_page_vaddr(sworld_pml4e); in pgtable_create_trusty_root()660 src_pdpte_p = pml4e_page_vaddr(nworld_pml4e); in pgtable_create_trusty_root()
Completed in 6 milliseconds