pci_fdvma_release
return (pci_fdvma_release(dip, pci_p, mp));
extern int pci_fdvma_release(dev_info_t *dip, pci_t *pci_p, ddi_dma_impl_t *mp);