Lines Matching refs:pt_page
44 static void sanitize_pte(uint64_t *pt_page, const struct pgtable *table) in sanitize_pte() argument
48 sanitize_pte_entry(pt_page + i, table); in sanitize_pte()
84 uint64_t *pde, uint64_t *pt_page, uint32_t type) in try_to_free_pgtable_page() argument
90 uint64_t *pte = pt_page + index; in try_to_free_pgtable_page()
97 free_page(table->pool, (void *)pt_page); in try_to_free_pgtable_page()
178 uint64_t *pt_page = pde_page_vaddr(*pde); in modify_or_del_pte() local
184 uint64_t *pte = pt_page + index; in modify_or_del_pte()
204 try_to_free_pgtable_page(table, pde, pt_page, type); in modify_or_del_pte()
387 uint64_t *pt_page = pde_page_vaddr(*pde); in add_pte() local
395 uint64_t *pte = pt_page + index; in add_pte()
447 void *pt_page = alloc_page(table->pool); in add_pde() local
448 construct_pgentry(pde, pt_page, table->default_access_right, table); in add_pde()