RDS_SESSION_STATE_CLOSED
sp->session_state = RDS_SESSION_STATE_CLOSED;
case RDS_SESSION_STATE_CLOSED:
ASSERT((sp->session_state == RDS_SESSION_STATE_CLOSED) ||
sp->session_state = RDS_SESSION_STATE_CLOSED;
sp->session_state = RDS_SESSION_STATE_CLOSED;
case RDS_SESSION_STATE_CLOSED:
ASSERT((sp->session_state == RDS_SESSION_STATE_CLOSED) ||
while (!((sp->session_state == RDS_SESSION_STATE_CLOSED) ||
ASSERT((sp->session_state == RDS_SESSION_STATE_CLOSED) ||
if (sp->session_state == RDS_SESSION_STATE_CLOSED) {
(sp->session_state == RDS_SESSION_STATE_CLOSED)) {