1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef _LINUX_IOMMU_HELPER_H
3 #define _LINUX_IOMMU_HELPER_H
5 #include <linux/kernel.h>
7 static inline unsigned long iommu_device_max_index(unsigned long size
,
11 if (size
+ offset
> dma_mask
)
12 return dma_mask
- offset
+ 1;
17 extern int iommu_is_span_boundary(unsigned int index
, unsigned int nr
,
19 unsigned long boundary_size
);
20 extern unsigned long iommu_area_alloc(unsigned long *map
, unsigned long size
,
21 unsigned long start
, unsigned int nr
,
23 unsigned long boundary_size
,
24 unsigned long align_mask
);
26 static inline unsigned long iommu_num_pages(unsigned long addr
,
28 unsigned long io_page_size
)
30 unsigned long size
= (addr
& (io_page_size
- 1)) + len
;
32 return DIV_ROUND_UP(size
, io_page_size
);