1/* SPDX-License-Identifier: GPL-2.0 */
 2#ifndef ASMARM_DMA_IOMMU_H
 3#define ASMARM_DMA_IOMMU_H
 4
 5#ifdef __KERNEL__
 6
 7#include <linux/mm_types.h>
 8#include <linux/scatterlist.h>
 9#include <linux/dma-debug.h>
10#include <linux/kref.h>
11
12#define ARM_MAPPING_ERROR		(~(dma_addr_t)0x0)
13
14struct dma_iommu_mapping {
15	/* iommu specific data */
16	struct iommu_domain	*domain;
17
18	unsigned long		**bitmaps;	/* array of bitmaps */
19	unsigned int		nr_bitmaps;	/* nr of elements in array */
20	unsigned int		extensions;
21	size_t			bitmap_size;	/* size of a single bitmap */
22	size_t			bits;		/* per bitmap */
23	dma_addr_t		base;
24
25	spinlock_t		lock;
26	struct kref		kref;
27};
28
29struct dma_iommu_mapping *
30arm_iommu_create_mapping(struct bus_type *bus, dma_addr_t base, u64 size);
31
32void arm_iommu_release_mapping(struct dma_iommu_mapping *mapping);
33
34int arm_iommu_attach_device(struct device *dev,
35					struct dma_iommu_mapping *mapping);
36void arm_iommu_detach_device(struct device *dev);
37
38int arm_dma_supported(struct device *dev, u64 mask);
39
40#endif /* __KERNEL__ */
41#endif