TXDB_FLAG_EF
uint32_t last_flags = TXDB_FLAG_EF;
|| (txq->txq_producer->txdb_flags & htole32(TXDB_FLAG_EF)) == 0);
KASSERT(producer->txdb_flags & htole32(TXDB_FLAG_EF));
if (txdb_flags & TXDB_FLAG_EF) {