Symbol: tce_iommu_free_table