Searched refs:sworld_pml4e (Results 1 – 1 of 1) sorted by relevance
634 uint64_t nworld_pml4e, sworld_pml4e; in pgtable_create_trusty_root() local650 sworld_pml4e = hva2hpa(sub_table_addr) | prot_table_present; in pgtable_create_trusty_root()651 set_pgentry((uint64_t *)pml4_base, sworld_pml4e, table); in pgtable_create_trusty_root()659 dest_pdpte_p = pml4e_page_vaddr(sworld_pml4e); in pgtable_create_trusty_root()
Completed in 7 milliseconds