Searched refs:set_pgentry (Results 1 – 2 of 2) sorted by relevance
| /hypervisor/arch/x86/ |
| A D | pagetable.c | 41 set_pgentry(ptep, sanitized_page_hpa, table); in sanitize_pte_entry()
135 set_pgentry(pbase + i, paddr | ref_prot, table); in split_large_page()
140 set_pgentry(pte, hva2hpa((void *)pbase) | ref_prot, table); in split_large_page()
152 set_pgentry(pte, new_pte, table); in local_modify_or_del_pte()
165 set_pgentry(pde, hva2hpa(pd_page) | prot, table); in construct_pgentry()
400 set_pgentry(pte, paddr | prot, table); in add_pte()
439 set_pgentry(pde, paddr | (local_prot | PAGE_PSE), table); in add_pde()
488 set_pgentry(pdpte, paddr | (local_prot | PAGE_PSE), table); in add_pdpte()
651 set_pgentry((uint64_t *)pml4_base, sworld_pml4e, table); in pgtable_create_trusty_root()
665 set_pgentry(dest_pdpte_p, pdpte, table); in pgtable_create_trusty_root()
|
| /hypervisor/include/arch/x86/asm/ |
| A D | pgtable.h | 483 static inline void set_pgentry(uint64_t *ptep, uint64_t pte, const struct pgtable *table) in set_pgentry() function
|
Completed in 6 milliseconds