DESC_SV
DESC_SV(id, desc_reserved))) { /* LMM(desc_reserve:F) */
prev_state_val = DESC_SV(id, desc_committed);
DESC_SV(id, desc_reserved))) { /* LMM(desc_reopen_last:A) */
unsigned long prev_state_val = DESC_SV(id, desc_committed);
DESC_SV(id, desc_finalized))) { /* LMM(desc_make_final:A) */
unsigned long prev_state_val = DESC_SV(e->id, desc_reserved);
DESC_SV(e->id, state_val))) { /* LMM(_prb_commit:B) */
unsigned long val_finalized = DESC_SV(id, desc_finalized);
unsigned long val_reusable = DESC_SV(id, desc_reusable);
#define DESC0_SV(ct_bits) DESC_SV(DESC0_ID(ct_bits), desc_reusable)