Symbol: arm_smmu_domain_free