Searched refs:src_pdpte_p (Results 1 – 1 of 1) sorted by relevance
633 uint64_t pdpte, *dest_pdpte_p, *src_pdpte_p; in pgtable_create_trusty_root() local660 src_pdpte_p = pml4e_page_vaddr(nworld_pml4e); in pgtable_create_trusty_root()662 pdpte = get_pgentry(src_pdpte_p); in pgtable_create_trusty_root()667 src_pdpte_p++; in pgtable_create_trusty_root()
Completed in 3 milliseconds