Symbol: tce_iommu_unuse_page
drivers/vfio/vfio_iommu_spapr_tce.c
476
tce_iommu_unuse_page(oldhpa);
drivers/vfio/vfio_iommu_spapr_tce.c
526
tce_iommu_unuse_page(hpa);
drivers/vfio/vfio_iommu_spapr_tce.c
534
tce_iommu_unuse_page(hpa);