Searched refs:nworld_pml4e (Results 1 – 1 of 1) sorted by relevance
634 uint64_t nworld_pml4e, sworld_pml4e; in pgtable_create_trusty_root() local653 nworld_pml4e = get_pgentry((uint64_t *)nworld_pml4_page); in pgtable_create_trusty_root()660 src_pdpte_p = pml4e_page_vaddr(nworld_pml4e); in pgtable_create_trusty_root()
Completed in 4 milliseconds