SADB_SASTATE_DEAD
if (sa->sadb_sa_state == SADB_SASTATE_DEAD)
if (savp->state == SADB_SASTATE_DEAD)
if (sav->state >= SADB_SASTATE_DEAD) {
if (sav->state == SADB_SASTATE_DEAD) {
sav->state = SADB_SASTATE_DEAD;
sah->state = SADB_SASTATE_DEAD;
IPSEC_ASSERT(sah->state == SADB_SASTATE_DEAD,
if (isnew == 0 && sah->state == SADB_SASTATE_DEAD) {
IPSEC_ASSERT(sav->state == SADB_SASTATE_DEAD,
sav->state = SADB_SASTATE_DEAD;
if (sav->state == SADB_SASTATE_DEAD) {
sav->state = SADB_SASTATE_DEAD;
if (sav->state == SADB_SASTATE_DEAD) {
if (sah->state == SADB_SASTATE_DEAD ||
sah->state = SADB_SASTATE_DEAD;
if (sav->state == SADB_SASTATE_DEAD) {
sav->state = SADB_SASTATE_DEAD;
if (sav->state == SADB_SASTATE_DEAD) {
sav->state = SADB_SASTATE_DEAD;
sav->state = SADB_SASTATE_DEAD;
sah->state = SADB_SASTATE_DEAD;
sav->state = SADB_SASTATE_DEAD;
sav->state = SADB_SASTATE_DEAD;
IPSEC_ASSERT(sah->state != SADB_SASTATE_DEAD,
sah->state = SADB_SASTATE_DEAD;
sav->state = SADB_SASTATE_DEAD;
sav->state = SADB_SASTATE_DEAD;
sah->state = SADB_SASTATE_DEAD;
sav->state = SADB_SASTATE_DEAD;
sav->state = SADB_SASTATE_DEAD;
case SADB_SASTATE_DEAD:
if (sav->state >= SADB_SASTATE_DEAD) {
if (sav->state >= SADB_SASTATE_DEAD) {
if (sav->state >= SADB_SASTATE_DEAD) {