iommu_dvmamem_unmap
void iommu_dvmamem_unmap(void *, caddr_t, size_t);
iommu_dvmamem_unmap, iommu_dvmamem_mmap