kvmppc_tce_iommu_mapped_dec
ret = kvmppc_tce_iommu_mapped_dec(kvm, tbl, entry);
kvmppc_tce_iommu_mapped_dec(kvm, tbl, entry);