IPSEC_ASSERT
IPSEC_ASSERT(sp->policy == IPSEC_POLICY_IPSEC,
IPSEC_ASSERT(sp->policy == IPSEC_POLICY_IPSEC,
IPSEC_ASSERT(sav != NULL, ("Null SA"));
IPSEC_ASSERT(sav->replay != NULL, ("Null replay state"));
IPSEC_ASSERT(sav != NULL, ("Null SA"));
IPSEC_ASSERT(sav->replay != NULL, ("Null replay state"));
IPSEC_ASSERT(m->m_pkthdr.len >= sizeof(struct ip),
IPSEC_ASSERT(m->m_pkthdr.len >= sizeof(struct ip6_hdr),
IPSEC_ASSERT(idx < sp->tcount, ("Wrong IPsec request index %d", idx));
IPSEC_ASSERT(sp->req[idx]->level == IPSEC_LEVEL_UNIQUE,
IPSEC_ASSERT(m != NULL, ("null packet"));
IPSEC_ASSERT(sproto == IPPROTO_ESP || sproto == IPPROTO_AH ||
IPSEC_ASSERT(sav != NULL, ("null SA"));
IPSEC_ASSERT(sav->sah != NULL, ("null SAH"));
IPSEC_ASSERT(af == AF_INET, ("unexpected af %u", af));
IPSEC_ASSERT(sproto == IPPROTO_ESP || sproto == IPPROTO_AH ||
IPSEC_ASSERT(sav != NULL, ("null SA"));
IPSEC_ASSERT(sav->sah != NULL, ("null SAH"));
IPSEC_ASSERT(af == AF_INET6, ("unexpected af %u", af));
IPSEC_ASSERT(sproto == IPPROTO_ESP || sproto == IPPROTO_AH ||
IPSEC_ASSERT(m0 != NULL, ("null mbuf"));
IPSEC_ASSERT(hlen < MHLEN, ("hlen too big: %u", hlen));
IPSEC_ASSERT(len < MHLEN, ("wrong length"));
IPSEC_ASSERT(sav->tdb_xform != NULL, ("SA with NULL tdb_xform"));
IPSEC_ASSERT(idx < sp->tcount, ("Wrong IPsec request index %d", idx));
IPSEC_ASSERT(sav->tdb_xform != NULL, ("SA with NULL tdb_xform"));
IPSEC_ASSERT(idx < sp->tcount, ("Wrong IPsec request index %d", idx));
IPSEC_ASSERT(inp != NULL, ("null inp"));
IPSEC_ASSERT(inp->inp_sp == NULL, ("inp_sp already initialized"));
IPSEC_ASSERT(src->state == IPSEC_SPSTATE_PCB, ("SP isn't PCB"));
IPSEC_ASSERT(new->inp_sp != NULL, ("new inp_sp is NULL"));
IPSEC_ASSERT((new->inp_sp->flags & (
IPSEC_ASSERT(sp != NULL,
IPSEC_ASSERT(saidx->proto == IPPROTO_TCP,
IPSEC_ASSERT(saidx->mode == IPSEC_MODE_TCPMD5,
IPSEC_ASSERT(saidx != NULL, ("null saidx"));
IPSEC_ASSERT(saidx->mode == IPSEC_MODE_TRANSPORT ||
IPSEC_ASSERT(proto == IPPROTO_ESP || proto == IPPROTO_AH ||
IPSEC_ASSERT(src != NULL, ("null src address"));
IPSEC_ASSERT(dst != NULL, ("null dst address"));
IPSEC_ASSERT(sp != NULL, ("null sp"));
IPSEC_ASSERT(sp->spidx.dir == IPSEC_DIR_INBOUND ||
IPSEC_ASSERT(spp[i]->spidx.dir == IPSEC_DIR_INBOUND ||
IPSEC_ASSERT(spp[i]->spidx.dir == IPSEC_DIR_INBOUND ||
IPSEC_ASSERT(sav != NULL, ("null sav"));
IPSEC_ASSERT(spidx != NULL, ("null spidx"));
IPSEC_ASSERT(xpl0 != NULL, ("null xpl0"));
IPSEC_ASSERT(len >= sizeof(*xpl0), ("policy too short: %zu", len));
IPSEC_ASSERT(sp != NULL, ("null policy"));
IPSEC_ASSERT(m != NULL, ("null mbuf"));
IPSEC_ASSERT(mhp != NULL, ("null msghdr"));
IPSEC_ASSERT(len <= MHLEN, ("header too big %u", len));
IPSEC_ASSERT(so != NULL, ("null socket"));
IPSEC_ASSERT(m != NULL, ("null mbuf"));
IPSEC_ASSERT(mhp != NULL, ("null msghdr"));
IPSEC_ASSERT(mhp->msg != NULL, ("null msg"));
IPSEC_ASSERT(oldsp != NULL, ("null oldsp: refcount bug"));
IPSEC_ASSERT(oldsp != NULL, ("null oldsp: refcount bug"));
IPSEC_ASSERT(so != NULL, ("null so"));
IPSEC_ASSERT(m != NULL, ("null mbuf"));
IPSEC_ASSERT(mhp != NULL, ("null msghdr"));
IPSEC_ASSERT(mhp->msg != NULL, ("null msg"));
IPSEC_ASSERT(so != NULL, ("null socket"));
IPSEC_ASSERT(m != NULL, ("null mbuf"));
IPSEC_ASSERT(mhp != NULL, ("null msghdr"));
IPSEC_ASSERT(mhp->msg != NULL, ("null msg"));
IPSEC_ASSERT(off == len, ("length inconsistency (off %u len %u)",
IPSEC_ASSERT(so != NULL, ("null socket"));
IPSEC_ASSERT(m != NULL, ("null mbuf"));
IPSEC_ASSERT(mhp != NULL, ("null msghdr"));
IPSEC_ASSERT(mhp->msg != NULL, ("null msg"));
IPSEC_ASSERT(sp != NULL, ("null secpolicy"));
IPSEC_ASSERT(sp->req == NULL, ("policy exists"));
IPSEC_ASSERT(sp->policy == IPSEC_POLICY_IPSEC,
IPSEC_ASSERT(so != NULL, ("null socket"));
IPSEC_ASSERT(m != NULL, ("null mbuf"));
IPSEC_ASSERT(mhp != NULL, ("null msghdr"));
IPSEC_ASSERT(mhp->msg != NULL, ("null msg"));
IPSEC_ASSERT(so != NULL, ("null socket"));
IPSEC_ASSERT(m != NULL, ("null mbuf"));
IPSEC_ASSERT(mhp != NULL, ("null msghdr"));
IPSEC_ASSERT(mhp->msg != NULL, ("null msg"));
IPSEC_ASSERT(sp != NULL, ("null secpolicy"));
IPSEC_ASSERT(sah != NULL, ("NULL sah"));
IPSEC_ASSERT(sah->state == SADB_SASTATE_DEAD,
IPSEC_ASSERT(TAILQ_EMPTY(&sah->savtree_larval),
IPSEC_ASSERT(TAILQ_EMPTY(&sah->savtree_alive),
IPSEC_ASSERT(mhp != NULL, ("null msghdr"));
IPSEC_ASSERT(mhp->msg != NULL, ("null msg"));
IPSEC_ASSERT(mhp->msg->sadb_msg_type == SADB_GETSPI ||
IPSEC_ASSERT(sav != NULL, ("null sav"));
IPSEC_ASSERT(sav->state == SADB_SASTATE_DEAD,
IPSEC_ASSERT(sav->refcnt == 0, ("reference count %u > 0",
IPSEC_ASSERT(sav->lft_h == NULL, ("lft_h is already initialized\n"));
IPSEC_ASSERT(sav->lft_s == NULL, ("lft_s is already initialized\n"));
IPSEC_ASSERT(mhp != NULL, ("null msghdr"));
IPSEC_ASSERT(mhp->msg != NULL, ("null msg"));
IPSEC_ASSERT(sav->state == SADB_SASTATE_LARVAL,
IPSEC_ASSERT(so != NULL, ("null socket"));
IPSEC_ASSERT(m != NULL, ("null mbuf"));
IPSEC_ASSERT(mhp != NULL, ("null msghdr"));
IPSEC_ASSERT(mhp->msg != NULL, ("null msg"));
IPSEC_ASSERT(off == len,
IPSEC_ASSERT(saidx->proto == IPPROTO_TCP, ("wrong proto"));
IPSEC_ASSERT((sav->flags & SADB_X_EXT_F_CLONED) == 0,
IPSEC_ASSERT(sav->state == SADB_SASTATE_MATURE ||
IPSEC_ASSERT(so != NULL, ("null socket"));
IPSEC_ASSERT(m != NULL, ("null mbuf"));
IPSEC_ASSERT(mhp != NULL, ("null msghdr"));
IPSEC_ASSERT(mhp->msg != NULL, ("null msg"));
IPSEC_ASSERT(so != NULL, ("null socket"));
IPSEC_ASSERT(m != NULL, ("null mbuf"));
IPSEC_ASSERT(mhp != NULL, ("null msghdr"));
IPSEC_ASSERT(mhp->msg != NULL, ("null msg"));
IPSEC_ASSERT(sav->natt == NULL, ("natt is already initialized"));
IPSEC_ASSERT(sah != NULL, ("null secashead"));
IPSEC_ASSERT(mhp != NULL, ("null msghdr"));
IPSEC_ASSERT(mhp->msg != NULL, ("null msg"));
IPSEC_ASSERT(m != NULL, ("null mbuf"));
IPSEC_ASSERT(mhp != NULL, ("null msghdr"));
IPSEC_ASSERT(mhp->msg != NULL, ("null msg"));
IPSEC_ASSERT(so != NULL, ("null socket"));
IPSEC_ASSERT(m != NULL, ("null mbuf"));
IPSEC_ASSERT(mhp != NULL, ("null msghdr"));
IPSEC_ASSERT(mhp->msg != NULL, ("null msg"));
IPSEC_ASSERT(so != NULL, ("null socket"));
IPSEC_ASSERT(m != NULL, ("null mbuf"));
IPSEC_ASSERT(mhp != NULL, ("null msghdr"));
IPSEC_ASSERT(mhp->msg != NULL, ("null msg"));
IPSEC_ASSERT(l <= MLEN,
IPSEC_ASSERT((totlen % l) == 0, ("totlen=%u, l=%u", totlen, l));
IPSEC_ASSERT(l <= MLEN,
IPSEC_ASSERT(l <= MLEN,
IPSEC_ASSERT(saidx != NULL, ("null saidx"));
IPSEC_ASSERT(satype != 0, ("null satype, protocol %u", saidx->proto));
IPSEC_ASSERT(so != NULL, ("null socket"));
IPSEC_ASSERT(m != NULL, ("null mbuf"));
IPSEC_ASSERT(mhp != NULL, ("null msghdr"));
IPSEC_ASSERT(mhp->msg != NULL, ("null msg"));
IPSEC_ASSERT(so != NULL, ("null socket"));
IPSEC_ASSERT(m != NULL, ("null mbuf"));
IPSEC_ASSERT(mhp != NULL, ("null msghdr"));
IPSEC_ASSERT(mhp->msg != NULL, ("null msg"));
IPSEC_ASSERT(off == len,
IPSEC_ASSERT(so != NULL, ("NULL so"));
IPSEC_ASSERT (sav != NULL, ("null sav"));
IPSEC_ASSERT (sav->sah != NULL, ("null sa header"));
IPSEC_ASSERT(satype != 0, ("invalid proto, satype %u", satype));
IPSEC_ASSERT(so != NULL, ("null socket"));
IPSEC_ASSERT(mhp != NULL, ("null msghdr"));
IPSEC_ASSERT(mhp->msg != NULL, ("null msg"));
IPSEC_ASSERT(sah->state != SADB_SASTATE_DEAD,
IPSEC_ASSERT(so != NULL, ("null socket"));
IPSEC_ASSERT(m != NULL, ("null mbuf"));
IPSEC_ASSERT(mhp != NULL, ("null msghdr"));
IPSEC_ASSERT(mhp->msg != NULL, ("null msg"));
IPSEC_ASSERT(so != NULL, ("null socket"));
IPSEC_ASSERT(m != NULL, ("null mbuf"));
IPSEC_ASSERT(mhp != NULL, ("null msghdr"));
IPSEC_ASSERT(mhp->msg != NULL, ("null msg"));
IPSEC_ASSERT(so != NULL, ("null socket"));
IPSEC_ASSERT(m != NULL, ("null mbuf"));
IPSEC_ASSERT(m->m_len >= sizeof(struct sadb_msg),
IPSEC_ASSERT(dir == IPSEC_DIR_INBOUND || dir == IPSEC_DIR_OUTBOUND,
IPSEC_ASSERT(m != NULL, ("null mbuf"));
IPSEC_ASSERT(mhp != NULL, ("null msghdr"));
IPSEC_ASSERT(m->m_len >= sizeof(struct sadb_msg),
IPSEC_ASSERT(sav != NULL, ("Null secasvar"));
IPSEC_ASSERT(m != NULL, ("Null mbuf"));
IPSEC_ASSERT(spidx != NULL, ("null spidx"));
IPSEC_ASSERT(dir == IPSEC_DIR_INBOUND || dir == IPSEC_DIR_OUTBOUND,
IPSEC_ASSERT(sa != NULL, ("null sa"));
IPSEC_ASSERT(sp != NULL, ("null sp"));
IPSEC_ASSERT(spidx != NULL, ("null spidx"));
IPSEC_ASSERT(saidx != NULL, ("null saidx"));
IPSEC_ASSERT(lft != NULL, ("null lft"));
IPSEC_ASSERT(sah != NULL, ("null sah"));
IPSEC_ASSERT(rpl != NULL, ("null rpl"));
IPSEC_ASSERT(natt != NULL, ("null natt"));
IPSEC_ASSERT(sav != NULL, ("null sav"));
IPSEC_ASSERT(sav->tdb_xform == NULL,
IPSEC_ASSERT(sav->natt != NULL, ("UDP encapsulation isn't required."));
IPSEC_ASSERT(sav->natt != NULL, ("NAT-T isn't required"));
IPSEC_ASSERT(proto == IPPROTO_UDP || proto == IPPROTO_TCP,
IPSEC_ASSERT(sav->tdb_authalgxform != NULL, ("null xform"));
IPSEC_ASSERT(sav != NULL, ("null SA"));
IPSEC_ASSERT(sav->key_auth != NULL, ("null authentication key"));
IPSEC_ASSERT(sav->tdb_authalgxform != NULL,
IPSEC_ASSERT(saidx->dst.sa.sa_family == AF_INET ||
IPSEC_ASSERT(sav != NULL, ("null SA"));
IPSEC_ASSERT(ahx != NULL, ("null authentication xform"));
IPSEC_ASSERT(sav->tdb_encalgxform != NULL,
IPSEC_ASSERT(sav != NULL, ("null SA"));
IPSEC_ASSERT(sav->tdb_encalgxform != NULL, ("null encoding xform"));
IPSEC_ASSERT(sav != NULL, ("null SA"));
IPSEC_ASSERT(espx != NULL, ("null encoding xform"));
IPSEC_ASSERT(saidx->dst.sa.sa_family == AF_INET ||
IPSEC_ASSERT(sav != NULL, ("null SA"));
IPSEC_ASSERT(ipcompx != NULL, ("null compression xform"));
IPSEC_ASSERT(m->m_len >= sizeof(*ip), ("unexpected mbuf len"));