Searched refs:VERIFY (Results 26 - 50 of 120) sorted by relevance

12345

/xnu-2782.1.97/bsd/netinet/
H A Dmptcp_usrreq.c117 VERIFY(sotomppcb(mp_so) == NULL);
142 VERIFY(mpp != NULL);
143 VERIFY(mpp->mpp_socket != NULL);
184 VERIFY(mpp != NULL);
193 VERIFY(mp_tp != NULL);
214 VERIFY(mp_so->so_pcb == mpp);
215 VERIFY(mpp->mpp_socket == mp_so);
218 VERIFY(mppi != NULL);
221 VERIFY(mpte->mpte_mppcb == mpp);
264 VERIFY(dst_s
[all...]
H A Dmptcp_subr.c259 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(!(mp
[all...]
H A Dip_id.c148 VERIFY(id_array == NULL);
149 VERIFY(id_bits == NULL);
H A Digmp.c302 VERIFY(SLIST_EMPTY(_head)); \
616 VERIFY(!(igi->igi_debug & IFD_ATTACHED));
618 VERIFY(ifp != NULL);
678 VERIFY(SLIST_EMPTY(&igi->igi_relinmhead));
808 VERIFY(SLIST_EMPTY(&igi->igi_relinmhead));
849 VERIFY(igi != NULL);
944 VERIFY(igi != NULL);
1153 VERIFY(igi != NULL);
1416 VERIFY(igi != NULL);
1558 VERIFY(ig
[all...]
H A Din_mcast.c263 VERIFY(inm->inm_ifma != NULL);
264 VERIFY(inm->inm_ifp == inm->inm_ifma->ifma_ifp);
390 VERIFY(src->sa_family == AF_INET);
391 VERIFY(gidx != (size_t)-1 && gidx < imo->imo_num_memberships);
421 VERIFY(ifp != NULL);
493 VERIFY(to->imo_max_memberships != 0 && from->imo_max_memberships != 0);
503 VERIFY(to->imo_max_memberships >= from->imo_max_memberships);
517 VERIFY(to->imo_num_memberships == from->imo_num_memberships);
548 VERIFY(inm->inm_reqcnt >= 1);
550 VERIFY(in
[all...]
H A Din.c317 VERIFY(ifp != NULL);
335 VERIFY(so != NULL);
353 VERIFY(0);
369 VERIFY(so != NULL);
389 VERIFY(0);
405 VERIFY(so != NULL);
431 VERIFY(0);
448 VERIFY(ifp != NULL);
484 VERIFY(ifp != NULL);
528 VERIFY(if
[all...]
H A Dtcp_cubic.c111 VERIFY(tp->t_ccstate != NULL);
129 VERIFY(tp->t_ccstate != NULL);
164 VERIFY(tp->t_ccstate->cub_last_max > 0);
177 VERIFY(current_task() == kernel_task);
198 VERIFY(tp->t_ccstate->cub_origin_point > 0);
450 VERIFY(tp->t_ccstate != NULL);
H A Dcpu_in_cksum.c102 VERIFY(len >= 0);
103 VERIFY(off >= 0);
248 VERIFY(len >= 0);
249 VERIFY(off >= 0);
/xnu-2782.1.97/bsd/kern/
H A Duipc_proto.c116 VERIFY(!(dp->dom_flags & DOM_INITIALIZED));
117 VERIFY(localdomain == NULL);
H A Duipc_domain.c111 VERIFY(pp->pr_flags & PR_OLD);
112 VERIFY(pp->pr_old != NULL);
121 VERIFY(pp->pr_flags & PR_ATTACHED);
135 VERIFY(!(pp->pr_flags & PR_ATTACHED));
136 VERIFY(pp->pr_domain == NULL);
137 VERIFY(pp->pr_protosw == NULL);
152 VERIFY(pp->pr_flags & PR_ATTACHED);
153 VERIFY(pp->pr_domain == dp);
154 VERIFY(pp->pr_protosw == pp);
165 VERIFY(d
[all...]
H A Dmcache.c188 VERIFY(mca_trn_max >= 2);
413 VERIFY(IS_P2ALIGNED(ccp, CPU_CACHE_LINE_SIZE));
463 VERIFY((wait & (MCR_NOSLEEP|MCR_FAILOK)) != (MCR_NOSLEEP|MCR_FAILOK));
949 VERIFY(((intptr_t)base + rsize) <=
959 VERIFY(((intptr_t)base + offset + cp->mc_bufsize) <=
1002 VERIFY(IS_P2ALIGNED(base, sizeof (u_int64_t)));
1008 VERIFY(((intptr_t)base + rsize) <=
1014 VERIFY(((intptr_t)base + offset + cp->mc_bufsize) <=
1048 VERIFY(IS_P2ALIGNED(base, sizeof (u_int64_t)));
1053 VERIFY(((intptr_
[all...]
/xnu-2782.1.97/bsd/net/
H A Ddlil.c812 VERIFY(proto->detached);
1013 VERIFY(((intptr_t)base + dlif_tcpstat_size) <=
1035 VERIFY(((intptr_t)base + dlif_udpstat_size) <=
1046 VERIFY(IS_P2ALIGNED(ifp->if_tcp_stat, sizeof (u_int64_t)) &&
1081 VERIFY(inp == dlil_main_input_thread);
1086 VERIFY(inp != dlil_main_input_thread);
1091 VERIFY(inp != dlil_main_input_thread);
1095 VERIFY(inp->input_thr == THREAD_NULL);
1170 VERIFY(current_thread() == inp->input_thr);
1171 VERIFY(in
[all...]
H A Droute.c540 VERIFY(IN6_IS_SCOPE_EMBED(&(SIN6(sa)->sin6_addr)));
570 VERIFY(af == AF_INET || af == AF_INET6);
619 VERIFY(af == AF_INET || af == AF_INET6);
697 VERIFY(buf != NULL && buflen >= sizeof (*ss));
770 VERIFY(buflen >= sa->sa_len);
775 VERIFY(sdl->sdl_alen == size);
1079 VERIFY(!(rt->rt_flags & RTF_IFREF));
1787 VERIFY(rt->rt_flags & RTF_HOST);
1943 VERIFY(ifscope != IFSCOPE_NONE);
2102 VERIFY((*ret_nr
[all...]
H A Dpf_norm.c298 VERIFY(!0 && "only IPv4 and IPv6 supported!");
313 VERIFY(BUFFER_FRAGMENTS(frag));
329 VERIFY(0 && "only IPv4 and IPv6 supported");
336 VERIFY(!BUFFER_FRAGMENTS(frag));
352 VERIFY(0 && "only IPv4 and IPv6 supported");
356 VERIFY(TAILQ_EMPTY(&pf_cachequeue) ||
416 VERIFY(LIST_EMPTY(&frag->fr_cache) ||
517 VERIFY(*frag == NULL || BUFFER_FRAGMENTS(*frag));
561 VERIFY(frep != NULL || frea != NULL);
642 VERIFY(fren
[all...]
/xnu-2782.1.97/bsd/net/pktsched/
H A Dpktsched_priq.c236 VERIFY(IFCQ_LEN(pif->pif_ifq) == 0);
248 VERIFY(pr->sc == MBUF_SC_UNSPEC || MBUF_VALID_SC(pr->sc));
249 VERIFY(pr->flow != 0);
253 VERIFY(i < IFCQ_SC_MAX);
513 VERIFY(cl->cl_pri < PRIQ_MAXPRI);
514 VERIFY(!pktsched_bit_tst(cl->cl_pri, &pif->pif_bitmap));
570 VERIFY(cl == NULL || cl->cl_pif == pif);
588 VERIFY(pri < PRIQ_MAXPRI);
598 VERIFY(ret == CLASSQEQ_DROPPED ||
645 VERIFY(!IFCQ_IS_EMPT
[all...]
H A Dpktsched_tcq.c208 VERIFY(IFCQ_LEN(tif->tif_ifq) == 0);
220 VERIFY(pr->sc == MBUF_SC_UNSPEC || MBUF_VALID_SC(pr->sc));
221 VERIFY(pr->flow != 0);
225 VERIFY(i < IFCQ_SC_MAX);
541 VERIFY(cl == NULL || cl->cl_tif == tif);
567 VERIFY(ret == CLASSQEQ_DROPPED ||
620 VERIFY(!IFCQ_IS_EMPTY(ifq));
663 VERIFY(cl->cl_flags & TQCF_LAZY);
781 VERIFY(qlen(&cl->cl_q) == (qlen - cnt));
786 VERIFY(((signe
[all...]
H A Dpktsched.h122 VERIFY(word != 0);
H A Dpktsched_qfq.c266 VERIFY(qif->qif_class_tbl != NULL);
270 VERIFY(qif->qif_groups != NULL);
275 VERIFY(grp->qfg_slots != NULL);
335 VERIFY(IFCQ_LEN(qif->qif_ifq) == 0);
347 VERIFY(pr->sc == MBUF_SC_UNSPEC || MBUF_VALID_SC(pr->sc));
348 VERIFY(pr->flow != 0);
352 VERIFY(i < IFCQ_SC_MAX);
517 VERIFY(w > 0 && w <= QFQ_MAX_WEIGHT);
521 VERIFY(qif->qif_wsum + w <= QFQ_MAX_WSUM);
524 VERIFY(
[all...]
/xnu-2782.1.97/bsd/net/classq/
H A Dclassq_sfb.c492 VERIFY(ifp != NULL && qlim > 0);
541 VERIFY(STAILQ_EMPTY(&fcl->fclist) || fcl->cnt > 0);
546 VERIFY(fcl->cnt == 0 && STAILQ_EMPTY(&fcl->fclist));
583 VERIFY(ifp != NULL);
666 VERIFY((s + (s ^ 1)) == 1);
722 VERIFY((s + (s ^ 1)) == 1);
770 VERIFY((w + (w ^ 1)) == 1);
862 VERIFY((s + (s ^ 1)) == 1);
872 VERIFY(bin->pkts > 0 && bin->bytes >= (u_int32_t)pkt->len);
897 VERIFY(bi
[all...]
/xnu-2782.1.97/bsd/netinet6/
H A Dmld6.c253 VERIFY(SLIST_EMPTY(_head)); \
535 VERIFY(IN6_IS_ADDR_MULTICAST(addr));
599 VERIFY(!(mli->mli_debug & IFD_ATTACHED));
601 VERIFY(ifp != NULL);
661 VERIFY(SLIST_EMPTY(&mli->mli_relinmhead));
797 VERIFY(SLIST_EMPTY(&mli->mli_relinmhead));
878 VERIFY(mli != NULL);
1097 VERIFY(mli != NULL);
1407 VERIFY(mli != NULL);
1537 VERIFY(mt
[all...]
H A Din6_mcast.c267 VERIFY(inm->in6m_ifma != NULL);
268 VERIFY(inm->in6m_ifp == inm->in6m_ifma->ifma_ifp);
399 VERIFY(src->sa_family == AF_INET6);
400 VERIFY(gidx != (size_t)-1 && gidx < imo->im6o_num_memberships);
430 VERIFY(ifp != NULL);
478 VERIFY(inm->in6m_reqcnt >= 1);
480 VERIFY(inm->in6m_reqcnt != 0);
511 VERIFY(ifma->ifma_addr != NULL);
512 VERIFY(ifma->ifma_addr->sa_family == AF_INET6);
516 VERIFY(in
[all...]
H A Din6_ifattach.c465 VERIFY(ifra != NULL);
484 VERIFY(ia != NULL);
585 VERIFY(ia == NULL);
589 VERIFY(ia != NULL);
654 VERIFY(ifp != NULL);
689 VERIFY(ifp != NULL);
729 VERIFY(((intptr_t)base + in6_extra_size) <=
734 VERIFY(IS_P2ALIGNED(ifp->if_inet6data, sizeof(uint64_t)));
769 VERIFY(error == 0);
880 VERIFY(lls
[all...]
H A Dscope6.c98 VERIFY(IN6_IFEXTRA(ifp) != NULL);
250 VERIFY(rt_key(rt)->sa_family == AF_INET6);
259 VERIFY(rt->rt_flags & RTF_GATEWAY);
/xnu-2782.1.97/bsd/net/altq/
H A Daltq_subr.c126 VERIFY(enqueue != NULL);
127 VERIFY(!(dequeue != NULL && dequeue_sc != NULL));
128 VERIFY(request != NULL);
206 VERIFY(machclk_freq != 0);
/xnu-2782.1.97/bsd/sys/
H A Dmcache.h47 #ifdef VERIFY
48 #undef VERIFY macro
52 * Unlike VERIFY(), ASSERT() is evaluated only in DEBUG build.
54 #define VERIFY(EX) ((void)((EX) || assfail(#EX, __FILE__, __LINE__))) macro
56 #define ASSERT(EX) VERIFY(EX)

Completed in 117 milliseconds

12345