|
@@ -1389,8 +1389,7 @@ static void arm_smmu_domain_free(struct iommu_domain *domain)
|
|
|
struct arm_smmu_domain *smmu_domain = to_smmu_domain(domain);
|
|
|
struct arm_smmu_device *smmu = smmu_domain->smmu;
|
|
|
|
|
|
- if (smmu_domain->pgtbl_ops)
|
|
|
- free_io_pgtable_ops(smmu_domain->pgtbl_ops);
|
|
|
+ free_io_pgtable_ops(smmu_domain->pgtbl_ops);
|
|
|
|
|
|
/* Free the CD and ASID, if we allocated them */
|
|
|
if (smmu_domain->stage == ARM_SMMU_DOMAIN_S1) {
|