Searched refs:VERIFY (Results 76 - 100 of 120) sorted by relevance

12345

/xnu-2782.1.97/bsd/netinet/
H A Dflow_divert.c2010 VERIFY((so->so_flags & SOF_FLOW_DIVERT) && so->so_fd_pcb != NULL);
2039 VERIFY((so->so_flags & SOF_FLOW_DIVERT) && so->so_fd_pcb != NULL);
2071 VERIFY((so->so_flags & SOF_FLOW_DIVERT) && so->so_fd_pcb != NULL);
2090 VERIFY((so->so_flags & SOF_FLOW_DIVERT) && so->so_fd_pcb != NULL);
2153 VERIFY((so->so_flags & SOF_FLOW_DIVERT) && so->so_fd_pcb != NULL);
2165 VERIFY((so->so_flags & SOF_FLOW_DIVERT) && so->so_fd_pcb != NULL);
2177 VERIFY((so->so_flags & SOF_FLOW_DIVERT) && so->so_fd_pcb != NULL);
2207 VERIFY((so->so_flags & SOF_FLOW_DIVERT) && so->so_fd_pcb != NULL);
2373 VERIFY(dst_sl != NULL);
2381 VERIFY(*dst_s
[all...]
H A Dtcp_sack.c359 VERIFY(SEQ_GEQ(snd_fack, s->rxmit));
434 VERIFY(num_sack_blks <= (TCP_MAX_SACK + 1));
784 VERIFY(unacked_bytes >= sndhole_bytes);
H A Dtcp_timer.c638 VERIFY(tp->t_pmtud_saved_maxopd > 0);
1172 VERIFY(SEQ_GEQ(tp->snd_fack, tp->snd_una));
1229 VERIFY(SACK_ENABLED(tp));
1373 VERIFY(tp != NULL);
1445 VERIFY(tp->tentry.index == TCPT_NONE || tp->tentry.mode > 0);
1762 VERIFY(tp->tentry.index == TCPT_NONE || tp->tentry.mode > 0);
H A Dtcp_usrreq.c487 VERIFY(dst_sl != NULL);
494 VERIFY(*dst_sl != NULL && dst_se != NULL);
495 VERIFY(src_se == NULL || *src_sl != NULL);
496 VERIFY(dst_se->se_addr->sa_family == af);
497 VERIFY(src_se == NULL || src_se->se_addr->sa_family == af);
558 VERIFY(0);
990 VERIFY(m->m_flags & M_PKTHDR);
995 VERIFY(!(so->so_flags & SOF_MP_SUBFLOW) ||
2021 VERIFY(so->so_msg_state != NULL);
2029 VERIFY(s
[all...]
H A Dudp_usrreq.c250 VERIFY((pp->pr_flags & (PR_INITIALIZED|PR_ATTACHED)) == PR_ATTACHED);
1326 VERIFY(outif == NULL);
1361 VERIFY(inp->inp_boundifp != NULL);
1639 VERIFY(inp->inp_sndinprog_cnt > 0);
1845 VERIFY(dst_sl != NULL);
1852 VERIFY(*dst_sl != NULL && dst_se != NULL);
1853 VERIFY(src_se == NULL || *src_sl != NULL);
1854 VERIFY(dst_se->se_addr->sa_family == af);
1855 VERIFY(src_se == NULL || src_se->se_addr->sa_family == af);
1884 VERIFY(
[all...]
H A Dip_output.c331 VERIFY(m0->m_flags & M_PKTHDR);
412 VERIFY(ro != NULL);
504 VERIFY(m->m_flags & M_PKTHDR);
1359 VERIFY(src_ia == NULL);
2070 VERIFY(m->m_flags & M_PKTHDR);
2189 VERIFY(_hlen == sizeof (*ip));
2191 VERIFY(hlen <= sizeof (buf));
3127 VERIFY(src.s_addr != INADDR_ANY);
H A Draw_ip.c154 VERIFY((pp->pr_flags & (PR_INITIALIZED|PR_ATTACHED)) == PR_ATTACHED);
376 VERIFY(control == NULL);
952 VERIFY(error != 0);
H A Dip_encap.c140 VERIFY((pp->pr_flags & (PR_INITIALIZED|PR_ATTACHED)) == PR_ATTACHED);
H A Dmptcp_opt.c479 VERIFY(datalen == 0);
784 VERIFY(optlen <= MAX_TCPOPTLEN);
816 VERIFY(optlen <= MAX_TCPOPTLEN);
991 VERIFY(old_mpt_flags != 0);
/xnu-2782.1.97/bsd/net/pktsched/
H A Dpktsched_cbq.c552 VERIFY(ret == CLASSQEQ_DROPPED ||
675 VERIFY(cbqp != NULL && ifq->ifcq_type == PKTSCHEDT_CBQ);
695 VERIFY(ifq->ifcq_type == PKTSCHEDT_CBQ);
/xnu-2782.1.97/bsd/net/classq/
H A Dclassq_rio.c215 VERIFY(ifp != NULL);
500 VERIFY(m->m_flags & M_PKTHDR);
H A Dclassq_blue.c169 VERIFY(ifp != NULL);
H A Dclassq_red.c224 VERIFY(ifp != NULL);
/xnu-2782.1.97/bsd/netinet6/
H A Dnd6.c275 VERIFY(!nd6_init_done);
339 VERIFY(ln->ln_rt->rt_llinfo == ln);
352 VERIFY(rt->rt_llinfo_purge == nd6_llinfo_purge && ln != NULL);
421 VERIFY(rt != NULL);
443 VERIFY(ifp != NULL && ifp->if_index < nd_ifinfo_indexlim);
446 VERIFY(ndi->initialized);
501 VERIFY(ifp != NULL);
546 VERIFY(ndi->initialized);
893 VERIFY(ndi->initialized);
1285 VERIFY(nd6_timeout_ru
[all...]
H A Dnd6_send.c138 VERIFY(iov->iov_len < UINT16_MAX);
H A Din6_proto.c352 VERIFY(!(dp->dom_flags & DOM_INITIALIZED));
353 VERIFY(inet6domain == NULL);
H A Din6_src.c1022 VERIFY(has_route);
1197 VERIFY(rt == NULL || rt == ro->ro_rt);
1285 VERIFY(inp->inp_flags2 & INP2_INHASHLIST);
H A Dudp6_output.c439 VERIFY(in6p->inp_sndinprog_cnt > 0);
/xnu-2782.1.97/bsd/netkey/
H A Dkeysock.c549 VERIFY(!(dp->dom_flags & DOM_INITIALIZED));
550 VERIFY(keydomain == NULL);
/xnu-2782.1.97/bsd/net/
H A Dkpi_interface.c320 VERIFY(!(einit.flags & IFNET_INIT_LEGACY) ||
324 VERIFY(!(einit.flags & IFNET_INIT_INPUT_POLL) ||
689 VERIFY(af == AF_INET || af == AF_INET6);
1140 VERIFY(ifp != NULL && bw != NULL);
1178 VERIFY(ifp != NULL && bw != NULL);
1208 VERIFY(tbr_rate > 0);
1259 VERIFY(ifp != NULL && lt != NULL);
1292 VERIFY(ifp != NULL && lt != NULL);
1644 VERIFY(err == 0 || *addresses == NULL);
1646 VERIFY(return_inuse_addr
[all...]
H A Dpf.c350 VERIFY(m == pd->mp);
443 VERIFY(s->rule.ptr->states != 0); \
446 VERIFY(s->anchor.ptr->states != 0); \
450 VERIFY(s->nat_rule.ptr->states != 0); \
457 VERIFY(s->nat_rule.ptr->states > 0); \
461 VERIFY(s->anchor.ptr->states > 0); \
464 VERIFY(s->rule.ptr->states > 0); \
1221 VERIFY((*state)->src_node->conn != 0);
1425 VERIFY(s->state_key != NULL);
1470 VERIFY(pf_statu
[all...]
H A Dif_var.h788 VERIFY(_p != NULL || ((m) == (ifq)->ifq_head)); \
793 VERIFY((ifq)->ifq_tail != NULL || (ifq)->ifq_head == NULL); \
794 VERIFY((ifq)->ifq_len != 0); \
/xnu-2782.1.97/bsd/kern/
H A Duipc_socket.c290 VERIFY(IS_P2ALIGNED(&so_gencnt, sizeof(uint32_t)));
365 VERIFY(cached_sock_count > 0);
487 VERIFY(cached_sock_count > 0);
559 VERIFY(aso != NULL);
767 VERIFY(so->so_usecount > 1);
820 VERIFY(so->so_msg_state == NULL);
2353 VERIFY(m->m_pkthdr.len <= maxpktlen);
4008 VERIFY(sb->sb_flags & SB_LOCK);
4054 VERIFY(sb->sb_flags & SB_LOCK);
6202 VERIFY(s
[all...]
H A Duipc_syscalls.c736 VERIFY(dst_sl != NULL &&
824 VERIFY(dst_sl != NULL && *dst_sl != NULL);
827 VERIFY(se->se_addr != NULL);
915 VERIFY(so != NULL);
2567 VERIFY(sl->sl_cnt == 0);
2608 VERIFY(sa != NULL && sa->sa_len == ss.ss_len);
2612 VERIFY(((signed)uaddrlen - ss.ss_len) >= 0);
H A Dkpi_mbuf.c1025 VERIFY(tag->m_tag_len >= sizeof (*p));
1028 VERIFY(p->da_length > 0 && p->da_length <= MBUF_DRVAUX_MAXLEN);
1355 VERIFY((*flagsp &

Completed in 211 milliseconds

12345