RCID_STATE_RETIRING
|| rcid->state == RCID_STATE_RETIRING);
== (rcid->state == RCID_STATE_RETIRING));
|| rcid->state == RCID_STATE_RETIRING);
assert(rcid->state != RCID_STATE_RETIRING || rcidm->num_retiring > 0);
rcid->state = RCID_STATE_RETIRING;
assert(state >= old_state && state <= RCID_STATE_RETIRING);
rcidm_transition_rcid(rcidm, rcidm->cur_rcid, RCID_STATE_RETIRING);
} else if (state == RCID_STATE_RETIRING) {
case RCID_STATE_RETIRING:
rcidm_transition_rcid(rcidm, rcidm->cur_rcid, RCID_STATE_RETIRING);
rcidm_transition_rcid(rcidm, rcid, RCID_STATE_RETIRING);