236 	struct iommu_domain *domain;	/* domain this device is attached */
252 	struct iommu_domain domain; /* generic domain data structure */
281 static struct exynos_iommu_domain *to_exynos_domain(struct iommu_domain *dom)  in to_exynos_domain()
737 static struct iommu_domain *exynos_iommu_domain_alloc(unsigned type)  in exynos_iommu_domain_alloc()
798 static void exynos_iommu_domain_free(struct iommu_domain *iommu_domain)  in exynos_iommu_domain_free()  argument
800 	struct exynos_iommu_domain *domain = to_exynos_domain(iommu_domain);  in exynos_iommu_domain_free()
820 	if (iommu_domain->type == IOMMU_DOMAIN_DMA)  in exynos_iommu_domain_free()
821 		iommu_put_dma_cookie(iommu_domain);  in exynos_iommu_domain_free()
841 static void exynos_iommu_detach_device(struct iommu_domain *iommu_domain,  in exynos_iommu_detach_device()  argument
844 	struct exynos_iommu_domain *domain = to_exynos_domain(iommu_domain);  in exynos_iommu_detach_device()
850 	if (!has_sysmmu(dev) || owner->domain != iommu_domain)  in exynos_iommu_detach_device()
879 static int exynos_iommu_attach_device(struct iommu_domain *iommu_domain,  in exynos_iommu_attach_device()  argument
882 	struct exynos_iommu_domain *domain = to_exynos_domain(iommu_domain);  in exynos_iommu_attach_device()
904 	owner->domain = iommu_domain;  in exynos_iommu_attach_device()
1078 static int exynos_iommu_map(struct iommu_domain *iommu_domain,  in exynos_iommu_map()  argument
1082 	struct exynos_iommu_domain *domain = to_exynos_domain(iommu_domain);  in exynos_iommu_map()
1134 static size_t exynos_iommu_unmap(struct iommu_domain *iommu_domain,  in exynos_iommu_unmap()  argument
1138 	struct exynos_iommu_domain *domain = to_exynos_domain(iommu_domain);  in exynos_iommu_unmap()
1214 static phys_addr_t exynos_iommu_iova_to_phys(struct iommu_domain *iommu_domain,  in exynos_iommu_iova_to_phys()  argument
1217 	struct exynos_iommu_domain *domain = to_exynos_domain(iommu_domain);  in exynos_iommu_iova_to_phys()