IKEV2_STATE_CLOSING
sa_state(env, sa, IKEV2_STATE_CLOSING);
sa_state(env, sa, IKEV2_STATE_CLOSING);
osa->sa_state < IKEV2_STATE_CLOSING) {
sa_state(env, sa, IKEV2_STATE_CLOSING);
sa_state(env, sa, IKEV2_STATE_CLOSING);
if (osa->sa_state < IKEV2_STATE_CLOSING) {
if (msg->msg_sa->sa_state == IKEV2_STATE_CLOSING) {
sa_state(env, sa, IKEV2_STATE_CLOSING);
case IKEV2_STATE_CLOSING:
case IKEV2_STATE_CLOSING: