Symbol: hxge_free_tx_buf_dma