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()
152 free_pgtable_page(table); in intel_pasid_free_table()213 free_pgtable_page(entries); in intel_pasid_get_entry()
375 void free_pgtable_page(void *vaddr) in free_pgtable_page() function806 free_pgtable_page(context); in free_context_table()813 free_pgtable_page(context); in free_context_table()816 free_pgtable_page(iommu->root_entry); in free_context_table()967 free_pgtable_page(tmp_page); in pfn_to_dma_pte()1080 free_pgtable_page(level_pte); in dma_pte_free_level()1104 free_pgtable_page(domain->pgd); in dma_pte_free_pagetable()4240 free_pgtable_page(pte); in prepare_domain_attach_device()
749 void free_pgtable_page(void *vaddr);