Symbol: riscv_iommu_free_paging_domain
drivers/iommu/riscv/iommu.c
1316
.free = riscv_iommu_free_paging_domain,
drivers/iommu/riscv/iommu.c
1363
riscv_iommu_free_paging_domain(&domain->domain);
drivers/iommu/riscv/iommu.c
1369
riscv_iommu_free_paging_domain(&domain->domain);