DESC_ID
desc_make_final(rb, DESC_ID(id - 1));
id = DESC_ID(atomic_long_read(state_var));
last_finalized_id = DESC_ID(atomic_long_read(state_var));
DESC_ID((id) - DESCS_COUNT(desc_ring))
if (id != DESC_ID(state_val))
if (DESC_ID(atomic_long_read(&desc.state_var)) ==
d_state = desc_read(desc_ring, DESC_ID(tail_id + 1), &desc,
DESC_ID(tail_id + 1)); /* LMM(desc_push_tail:B) */
id = DESC_ID(head_id + 1);
#define DESC0_ID(ct_bits) DESC_ID(-(_DESCS_COUNT(ct_bits) + 1))