l4/pkg/linux-26-headers/include/linux/iommu-helper.h

   1 extern int iommu_is_span_boundary(unsigned int index, unsigned int nr,
   2                                   unsigned long shift,
   3                                   unsigned long boundary_size);
   4 extern unsigned long iommu_area_alloc(unsigned long *map, unsigned long size,
   5                                       unsigned long start, unsigned int nr,
   6                                       unsigned long shift,
   7                                       unsigned long boundary_size,
   8                                       unsigned long align_mask);
   9 extern void iommu_area_free(unsigned long *map, unsigned long start,
  10                             unsigned int nr);