iommu_hva2iova
iova_t iommu_hva2iova(struct iommu *iommu, void *vaddr);
return iommu_hva2iova(device->iommu, vaddr);