Symbol: tce_iommu_disable
drivers/vfio/vfio_iommu_spapr_tce.c
1090
tce_iommu_disable(container);
drivers/vfio/vfio_iommu_spapr_tce.c
373
tce_iommu_disable(container);