|
@@ -11,6 +11,7 @@ static inline unsigned long iommu_device_max_index(unsigned long size,
|
|
|
extern int iommu_is_span_boundary(unsigned int index, unsigned int nr,
|
|
|
unsigned long shift,
|
|
|
unsigned long boundary_size);
|
|
|
+extern void iommu_area_reserve(unsigned long *map, unsigned long i, int len);
|
|
|
extern unsigned long iommu_area_alloc(unsigned long *map, unsigned long size,
|
|
|
unsigned long start, unsigned int nr,
|
|
|
unsigned long shift,
|