Searched refs:pd_page (Results 1 – 1 of 1) sorted by relevance
| /hypervisor/arch/x86/ |
| A D | pagetable.c | 161 static inline void construct_pgentry(uint64_t *pde, void *pd_page, uint64_t prot, const struct pgta… in construct_pgentry() argument
163 sanitize_pte((uint64_t *)pd_page, table); in construct_pgentry()
165 set_pgentry(pde, hva2hpa(pd_page) | prot, table); in construct_pgentry()
217 uint64_t *pd_page = pdpte_page_vaddr(*pdpte); in modify_or_del_pde() local
223 uint64_t *pde = pd_page + index; in modify_or_del_pde()
251 try_to_free_pgtable_page(table, pdpte, pd_page, type); in modify_or_del_pde()
418 uint64_t *pd_page = pdpte_page_vaddr(*pdpte); in add_pde() local
427 uint64_t *pde = pd_page + index; in add_pde()
496 void *pd_page = alloc_page(table->pool); in add_pdpte() local
497 construct_pgentry(pdpte, pd_page, table->default_access_right, table); in add_pdpte()
|
Completed in 4 milliseconds