SADB_SASTATE_MATURE
if (sav->state != SADB_SASTATE_MATURE &&
sav->state == SADB_SASTATE_MATURE) {
sav->state = SADB_SASTATE_MATURE;
sah->state = SADB_SASTATE_MATURE;
if (sav->state == SADB_SASTATE_MATURE) {
if (sav->state == SADB_SASTATE_MATURE) {
if (sav->state == SADB_SASTATE_MATURE && (
newsav->state = SADB_SASTATE_MATURE;
IPSEC_ASSERT(sav->state == SADB_SASTATE_MATURE ||
sah->state = SADB_SASTATE_MATURE;
if (sa0->sadb_sa_state != SADB_SASTATE_MATURE) {
sav->state = SADB_SASTATE_MATURE;
sav->state = SADB_SASTATE_MATURE;
if (sa0->sadb_sa_state != SADB_SASTATE_MATURE) {
case SADB_SASTATE_MATURE: