Symbol: do_tx_done