Symbol: riscv_iommu_pte_free
drivers/iommu/riscv/iommu.c
1106
riscv_iommu_pte_free(domain, pte, freelist);
drivers/iommu/riscv/iommu.c
1221
riscv_iommu_pte_free(domain, old, &freelist);
drivers/iommu/riscv/iommu.c
1304
riscv_iommu_pte_free(domain, _io_pte_entry(pfn, _PAGE_TABLE), NULL);