bsd/netinet/mptcp_subr.c

259 	VERIFY((pp->pr_flags & (PR_INITIALIZED|PR_ATTACHED)) == PR_ATTACHED);
271 	VERIFY(prp != NULL);
293 	VERIFY(prp6 != NULL);
381 	VERIFY(mpp != NULL);
383 	VERIFY(mppi != NULL);
390 	VERIFY(mpp->mpp_pcbe == NULL);
446 	VERIFY(mp_tp != NULL);
452 	VERIFY(TAILQ_EMPTY(&mpte->mpte_subflows) && mpte->mpte_numflows == 0);
490 	VERIFY(!(mpo->mpo_flags & MPOF_ATTACHED));
502 	VERIFY(!(mpo->mpo_flags & MPOF_ATTACHED));
514 	VERIFY(mpo->mpo_flags & MPOF_ATTACHED);
534 	VERIFY(mpo == NULL || sopt->sopt_valsize == sizeof (int));
553 	VERIFY(TAILQ_EMPTY(&mpte->mpte_sopts));
584 	VERIFY(mpts->mpts_refcnt == 0);
585 	VERIFY(!(mpts->mpts_flags & MPTSF_ATTACHED));
586 	VERIFY(mpts->mpts_mpte == NULL);
587 	VERIFY(mpts->mpts_socket == NULL);
635 	VERIFY((*so)->so_flags & SOF_MP_SUBFLOW);
636 	VERIFY(((*so)->so_state & (SS_NBIO|SS_NOFDREF)) ==
677 	VERIFY(!((*so)->so_rcv.sb_flags & SB_AUTOSIZE));
735 		VERIFY(0);
760 	VERIFY(so->so_flags & SOF_MP_SUBFLOW);
761 	VERIFY((so->so_state & (SS_NBIO|SS_NOFDREF)) == (SS_NBIO|SS_NOFDREF));
764 	VERIFY(mpts->mpts_oprotosw != NULL);
797 	VERIFY((mpts->mpts_flags & (MPTSF_CONNECTING|MPTSF_CONNECTED)) ==
799 	VERIFY(mpts->mpts_socket != NULL);
808 		VERIFY(dst_se != NULL);
861 	VERIFY(so->so_proto->pr_flags & PR_CONNREQUIRED);
1041 	VERIFY(so->so_flags & SOF_MP_SUBFLOW);
1042 	VERIFY((so->so_state & (SS_NBIO|SS_NOFDREF)) == (SS_NBIO|SS_NOFDREF));
1072 	VERIFY(mpts->mpts_oprotosw != NULL);
1146 	VERIFY(!(mpts->mpts_flags & (MPTSF_CONNECTING|MPTSF_CONNECTED)));
1147 	VERIFY(mpts->mpts_mpte == NULL);
1148 	VERIFY(mpts->mpts_socket == NULL);
1149 	VERIFY(mpts->mpts_dst_sl != NULL);
1150 	VERIFY(mpts->mpts_connid == CONNID_ANY);
1157 	VERIFY(mpts->mpts_dst_sl != NULL && dst_se != NULL);
1158 	VERIFY(src_se == NULL || mpts->mpts_src_sl != NULL);
1160 	VERIFY(src_se == NULL || src_se->se_addr->sa_family == af);
1161 	VERIFY(af == AF_INET || af == AF_INET6);
1177 		VERIFY(se != NULL && se->se_addr != NULL &&
1209 	VERIFY(mpts->mpts_connid != CONNID_ANY &&
1226 		VERIFY(mpts->mpts_outif != NULL);
1252 			VERIFY(af == AF_INET6);
1316 	VERIFY(!(mpts->mpts_flags &
1399 	VERIFY(so != NULL);
1417 	VERIFY(mpts->mpts_mpte == mpte);
1418 	VERIFY(mpts->mpts_connid != CONNID_ANY &&
1421 	VERIFY(mpts->mpts_flags & MPTSF_ATTACHED);
1424 	VERIFY(mpte->mpte_numflows != 0);
1441 	VERIFY(mp_so->so_usecount != 0);
1467 	VERIFY(mpts->mpts_mpte == mpte);
1468 	VERIFY(mpts->mpts_socket != NULL);
1469 	VERIFY(mpts->mpts_connid != CONNID_ANY &&
1728 	VERIFY(sb_mb->m_pkthdr.pkt_flags & PKTF_MPTCP);
1830 	VERIFY(mpt_mbuf && (mpt_mbuf->m_pkthdr.pkt_flags & PKTF_MPTCP));
1857 		VERIFY(m->m_flags & M_PKTHDR);
1955 	VERIFY(mpte != NULL);
2108 	VERIFY(mpte->mpte_mppcb != NULL);
2204 	VERIFY(mpte->mpte_mppcb != NULL);
2255 	VERIFY(mpte->mpte_mppcb != NULL);
2450 	VERIFY(mpte->mpte_mppcb != NULL);
2550 	VERIFY(mpte->mpte_mppcb != NULL);
2614 	VERIFY(mpts->mpts_dst_sl != NULL);
2616 	VERIFY(dst_se != NULL && dst_se->se_addr != NULL &&
2619 	VERIFY(mpts->mpts_src_sl != NULL);
2621 	VERIFY(src_se != NULL && src_se->se_addr != NULL &&
2632 			VERIFY(s->sin_len == ms->sin_len);
2633 			VERIFY(ms->sin_family == AF_INET);
2657 			VERIFY(s->sin6_len == ms->sin6_len);
2658 			VERIFY(ms->sin6_family == AF_INET6);
2677 		VERIFY(0);
2689 		VERIFY(mpts->mpts_outif != NULL);
2811 	VERIFY(mpte->mpte_mppcb != NULL);
2885 	VERIFY(mpte->mpte_mppcb != NULL);
2919 		VERIFY(!(mp_tp->mpt_flags & MPTCPF_JOIN_READY));
2950 	VERIFY(mpte->mpte_mppcb != NULL);
3016 	VERIFY(mpte->mpte_mppcb != NULL);
3045 	VERIFY(mpte->mpte_mppcb != NULL);
3132 	VERIFY(mpo->mpo_flags & MPOF_SUBFLOW_OK);
3177 	VERIFY(mpo->mpo_flags & MPOF_SUBFLOW_OK);
3228 		VERIFY(mpp->mpp_flags & MPP_ATTACHED);
3230 		VERIFY(mp_so != NULL);
3232 		VERIFY(mpte != NULL);
3234 		VERIFY(mp_tp != NULL);
3345 	VERIFY(mpte->mpte_mptcb == mp_tp);
3370 	VERIFY(mpte->mpte_mptcb == mp_tp);
3457 	VERIFY(mpte->mpte_mppcb != NULL);
3459 	VERIFY(mp_so != NULL);
3602 	VERIFY(mpte != NULL);
3653 	VERIFY(mpte->mpte_thread == THREAD_NULL);
3654 	VERIFY(mpte->mpte_mppcb != NULL);
3659 	VERIFY(mp_so != NULL);
3660 	VERIFY(mp_so->so_usecount != 0);
4150 	VERIFY(token_len == sizeof (u_int32_t));
4151 	VERIFY(sha_digest_len == SHA1_RESULTLEN);
4162 	VERIFY(idsn_len == sizeof (u_int64_t));
4163 	VERIFY(sha_digest_len == SHA1_RESULTLEN);
4313 		VERIFY(m->m_flags & M_PKTHDR);
4329 		VERIFY(m->m_flags & M_PKTHDR);
4397 		VERIFY(m->m_pkthdr.pkt_flags & PKTF_MPTCP);
4398 		VERIFY(m->m_flags & M_PKTHDR);
4437 		VERIFY(mnext->m_flags & M_PKTHDR);
4438 		VERIFY(mnext->m_pkthdr.pkt_flags & PKTF_MPTCP);
4501 	VERIFY(!(m->m_pkthdr.pkt_flags & PKTF_MPTCP));
4504 		VERIFY(m->m_flags & M_PKTHDR);
4526 		VERIFY(m->m_flags & M_PKTHDR);
4620 		VERIFY(m->m_pkthdr.pkt_flags & PKTF_MPTCP);
4621 		VERIFY(m->m_flags & M_PKTHDR);
4768 	VERIFY(mp_tp != NULL);
4904 		VERIFY(mpp->mpp_flags & MPP_ATTACHED);
4906 		VERIFY(mpte != NULL);
4908 		VERIFY(mp_tp != NULL);