Searched refs:free_pgtable_page (Results 1 – 4 of 4) sorted by relevance
108 static inline void free_pgtable_page(u64 *pt) in free_pgtable_page() function134 free_pgtable_page(p); in free_pgtable()137 free_pgtable_page(pt); in free_pgtable()172 free_pgtable_page(page); in v2_alloc_pte()194 free_pgtable_page(__pte); in v2_alloc_pte()407 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()
376 void free_pgtable_page(void *vaddr) in free_pgtable_page() function789 free_pgtable_page(context); in free_context_table()796 free_pgtable_page(context); in free_context_table()799 free_pgtable_page(iommu->root_entry); in free_context_table()951 free_pgtable_page(tmp_page); in pfn_to_dma_pte()1064 free_pgtable_page(level_pte); in dma_pte_free_level()1088 free_pgtable_page(domain->pgd); in dma_pte_free_pagetable()4245 free_pgtable_page(pte); in prepare_domain_attach_device()
836 void free_pgtable_page(void *vaddr);
Completed in 19 milliseconds