EFX_EMPTY_COUNT_VALID
return ((empty_read_count ^ write_count) & ~EFX_EMPTY_COUNT_VALID) == 0;
return ((empty_read_count ^ write_count) & ~EFX_EMPTY_COUNT_VALID) == 0;
tx_queue->read_count | EFX_EMPTY_COUNT_VALID;
tx_queue->empty_read_count = 0 | EFX_EMPTY_COUNT_VALID;
tx_queue->read_count | EFX_EMPTY_COUNT_VALID;
tx_queue->empty_read_count = 0 | EFX_EMPTY_COUNT_VALID;