desc_reserved
DESC_SV(id, desc_reserved))) { /* LMM(desc_reserve:F) */
DESC_SV(id, desc_reserved))) { /* LMM(desc_reopen_last:A) */
unsigned long prev_state_val = DESC_SV(e->id, desc_reserved);
d_state == desc_reserved ||
if (d_state == desc_miss || d_state == desc_reserved) {
case desc_reserved:
case desc_reserved: