xnf_release_dma_resources
xnf_release_dma_resources(xnfp);
static void xnf_release_dma_resources(xnf_t *);