iommu_dma_opt_mapping_size
size_t iommu_dma_opt_mapping_size(void);
size = iommu_dma_opt_mapping_size();