Symbol: kvmppc_tce_iommu_mapped_dec