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