px_fdvma_release
return (px_fdvma_release(dip, px_p, mp));
extern int px_fdvma_release(dev_info_t *dip, px_t *px_p, ddi_dma_impl_t *mp);