RXDB_FLAG_ET
& htole32(RXDB_FLAG_ET));
KASSERT(consumer[-1].rxdb_flags & htole32(RXDB_FLAG_ET));
rxdb->rxdb_flags = htole32(RXDB_FLAG_ET | RXDB_FLAG_IC);
producer->rxdb_flags &= htole32(RXDB_FLAG_ET);