efx_nic_tx_is_empty
bool was_empty = efx_nic_tx_is_empty(tx_queue, write_count);
if (!efx_nic_tx_is_empty(tx_queue, tx_queue->packet_write_count))