hxge_free_tx_buf_dma
static void hxge_free_tx_buf_dma(p_hxge_t, p_hxge_dma_common_t, uint32_t);
hxge_free_tx_buf_dma(hxgep, (p_hxge_dma_common_t)dma_buf_p[i],
hxge_free_tx_buf_dma(hxgep, dma_buf_p[i], num_chunks[i]);