pci_dvma_unmap
pci_dvma_unmap(iommu_p, mp);
extern void pci_dvma_unmap(iommu_t *iommu_p, ddi_dma_impl_t *mp);