Searched refs:pml4_base (Results 1 – 1 of 1) sorted by relevance
635 void *sub_table_addr, *pml4_base; in pgtable_create_trusty_root() local644 pml4_base = pgtable_create_root(table); in pgtable_create_trusty_root()651 set_pgentry((uint64_t *)pml4_base, sworld_pml4e, table); in pgtable_create_trusty_root()671 return pml4_base; in pgtable_create_trusty_root()
Completed in 4 milliseconds