Searched refs:free_pgtable_page (Results 1 – 4 of 4) sorted by relevance
102 static inline void free_pgtable_page(u64 *pt) in free_pgtable_page() function128 free_pgtable_page(p); in free_pgtable()131 free_pgtable_page(pt); in free_pgtable()166 free_pgtable_page(page); in v2_alloc_pte()188 free_pgtable_page(__pte); in v2_alloc_pte()406 free_pgtable_page(pgtable->pgd); in v2_alloc_pgtable()
157 free_pgtable_page(table); in intel_pasid_free_table()218 free_pgtable_page(entries); in intel_pasid_get_entry()
381 void free_pgtable_page(void *vaddr) in free_pgtable_page() function794 free_pgtable_page(context); in free_context_table()801 free_pgtable_page(context); in free_context_table()804 free_pgtable_page(iommu->root_entry); in free_context_table()954 free_pgtable_page(tmp_page); in pfn_to_dma_pte()1067 free_pgtable_page(level_pte); in dma_pte_free_level()1091 free_pgtable_page(domain->pgd); in dma_pte_free_pagetable()4102 free_pgtable_page(pte); in prepare_domain_attach_device()
845 void free_pgtable_page(void *vaddr);