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()
733 static struct iommu_domain *exynos_iommu_domain_alloc(unsigned type)  in exynos_iommu_domain_alloc()
794 static void exynos_iommu_domain_free(struct iommu_domain *iommu_domain)  in exynos_iommu_domain_free()  argument
796 	struct exynos_iommu_domain *domain = to_exynos_domain(iommu_domain);  in exynos_iommu_domain_free()
816 	if (iommu_domain->type == IOMMU_DOMAIN_DMA)  in exynos_iommu_domain_free()
817 		iommu_put_dma_cookie(iommu_domain);  in exynos_iommu_domain_free()
837 static void exynos_iommu_detach_device(struct iommu_domain *iommu_domain,  in exynos_iommu_detach_device()  argument
841 	struct exynos_iommu_domain *domain = to_exynos_domain(iommu_domain);  in exynos_iommu_detach_device()
846 	if (!has_sysmmu(dev) || owner->domain != iommu_domain)  in exynos_iommu_detach_device()
875 static int exynos_iommu_attach_device(struct iommu_domain *iommu_domain,  in exynos_iommu_attach_device()  argument
879 	struct exynos_iommu_domain *domain = to_exynos_domain(iommu_domain);  in exynos_iommu_attach_device()
900 	owner->domain = iommu_domain;  in exynos_iommu_attach_device()
1074 static int exynos_iommu_map(struct iommu_domain *iommu_domain,  in exynos_iommu_map()  argument
1078 	struct exynos_iommu_domain *domain = to_exynos_domain(iommu_domain);  in exynos_iommu_map()
1130 static size_t exynos_iommu_unmap(struct iommu_domain *iommu_domain,  in exynos_iommu_unmap()  argument
1134 	struct exynos_iommu_domain *domain = to_exynos_domain(iommu_domain);  in exynos_iommu_unmap()
1210 static phys_addr_t exynos_iommu_iova_to_phys(struct iommu_domain *iommu_domain,  in exynos_iommu_iova_to_phys()  argument
1213 	struct exynos_iommu_domain *domain = to_exynos_domain(iommu_domain);  in exynos_iommu_iova_to_phys()