Searched refs:pt_page (Results 1 – 1 of 1) sorted by relevance
44 static void sanitize_pte(uint64_t *pt_page, const struct pgtable *table) in sanitize_pte() argument48 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() argument90 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() local184 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() local395 uint64_t *pte = pt_page + index; in add_pte()[all …]
Completed in 3 milliseconds