iommu_dma_sync_single_for_device
iommu_dma_sync_single_for_device(dev,
void iommu_dma_sync_single_for_device(struct device *dev, dma_addr_t dma_handle,
iommu_dma_sync_single_for_device(dev, addr, size, dir);