Searched refs:VERIFY (Results 1 - 25 of 65) sorted by relevance

123

/darwin-on-arm/xnu/bsd/kern/
H A Duipc_mbuf2.c399 VERIFY(p->m_tag_cookie == M_TAG_VALID_PATTERN);
404 VERIFY(IS_P2ALIGNED(hdr + 1, sizeof (u_int64_t)));
405 VERIFY(m->m_flags & M_TAGHDR && !(m->m_flags & M_EXT));
410 VERIFY(IS_P2ALIGNED(t, sizeof (u_int64_t)));
413 VERIFY(m->m_len <= MLEN);
451 VERIFY(IS_P2ALIGNED(hdr + 1, sizeof (u_int64_t)));
455 VERIFY(IS_P2ALIGNED(t, sizeof (u_int64_t)));
457 VERIFY(m->m_len <= MLEN);
467 VERIFY(IS_P2ALIGNED(t, sizeof (u_int64_t)));
498 VERIFY(
[all...]
H A Duipc_mbuf.c1134 VERIFY(omb_stat != NULL);
1138 VERIFY(mb_stat != NULL);
1389 VERIFY(nmbclusters != 0 && !(nmbclusters & 0x1));
1412 VERIFY(slabstbl != NULL);
1427 VERIFY(mclaudit != NULL);
1431 VERIFY(mcl_audit_con_cache != NULL);
1451 VERIFY(mcl_paddr != NULL);
1459 VERIFY((((char *)embutl - (char *)mbutl) % MBIGCLBYTES) == 0);
1477 VERIFY(m_total(MC_BIGCL) == 0 && m_minlimit(MC_BIGCL) != 0);
1479 VERIFY(m_tota
[all...]
H A Dmcache.c381 VERIFY(IS_P2ALIGNED(ccp, CPU_CACHE_SIZE));
431 VERIFY((wait & (MCR_NOSLEEP|MCR_FAILOK)) != (MCR_NOSLEEP|MCR_FAILOK));
918 VERIFY(((intptr_t)base + rsize) <=
928 VERIFY(((intptr_t)base + offset + cp->mc_bufsize) <=
971 VERIFY(IS_P2ALIGNED(base, sizeof (u_int64_t)));
977 VERIFY(((intptr_t)base + rsize) <=
983 VERIFY(((intptr_t)base + offset + cp->mc_bufsize) <=
1017 VERIFY(IS_P2ALIGNED(base, sizeof (u_int64_t)));
1022 VERIFY(((intptr_t)base + rsize) <=
1425 VERIFY(IS_P2ALIGNE
[all...]
/darwin-on-arm/xnu/bsd/net/classq/
H A Dclassq_subr.c95 VERIFY(IFCQ_IS_EMPTY(ifq));
101 VERIFY(!IFCQ_TBR_IS_ENABLED(ifq));
102 VERIFY(ifq->ifcq_type == PKTSCHEDT_NONE);
103 VERIFY(ifq->ifcq_flags == 0);
104 VERIFY(ifq->ifcq_sflags == 0);
105 VERIFY(ifq->ifcq_disc == NULL);
106 VERIFY(ifq->ifcq_enqueue == NULL);
107 VERIFY(ifq->ifcq_dequeue == NULL);
108 VERIFY(ifq->ifcq_dequeue_sc == NULL);
109 VERIFY(if
[all...]
H A Dclassq.c100 VERIFY(qlen(q) != 0);
122 VERIFY(qlen(q) == 0);
127 VERIFY(qlen(q) > 0);
158 VERIFY(qlen(q) > 0);
203 VERIFY(n != NULL ||
205 VERIFY(qlen(q) > 0);
215 VERIFY(MBUFQ_EMPTY(head));
218 VERIFY(n != NULL);
236 VERIFY(MBUFQ_EMPTY(head));
252 VERIFY(
[all...]
H A Dclassq_sfb.c366 VERIFY(ifp != NULL && qlim > 0);
441 VERIFY(ifp != NULL);
513 VERIFY((s + (s ^ 1)) == 1);
568 VERIFY((s + (s ^ 1)) == 1);
616 VERIFY((w + (w ^ 1)) == 1);
707 VERIFY((s + (s ^ 1)) == 1);
717 VERIFY(bin->pkts > 0);
732 VERIFY(bin->pkts > 0);
744 VERIFY(bin->pkts > 0);
770 VERIFY((
[all...]
/darwin-on-arm/xnu/bsd/net/pktsched/
H A Dpktsched.c139 VERIFY(machclk_freq != 0);
166 VERIFY(ifq->ifcq_type == PKTSCHEDT_NONE);
167 VERIFY(ifq->ifcq_disc == NULL);
168 VERIFY(ifq->ifcq_enqueue == NULL);
169 VERIFY(ifq->ifcq_dequeue == NULL);
170 VERIFY(ifq->ifcq_dequeue_sc == NULL);
171 VERIFY(ifq->ifcq_request == NULL);
208 VERIFY(IFCQ_IS_EMPTY(ifq));
H A Dpktsched_priq.c235 VERIFY(IFCQ_LEN(pif->pif_ifq) == 0);
247 VERIFY(pr->sc == MBUF_SC_UNSPEC || MBUF_VALID_SC(pr->sc));
248 VERIFY(pr->flow != 0);
252 VERIFY(i < IFCQ_SC_MAX);
512 VERIFY(cl->cl_pri < PRIQ_MAXPRI);
513 VERIFY(!pktsched_bit_tst(cl->cl_pri, &pif->pif_bitmap));
569 VERIFY(cl == NULL || cl->cl_pif == pif);
583 VERIFY(pri < PRIQ_MAXPRI);
593 VERIFY(ret == CLASSQEQ_DROPPED ||
640 VERIFY(!IFCQ_IS_EMPT
[all...]
H A Dpktsched_tcq.c207 VERIFY(IFCQ_LEN(tif->tif_ifq) == 0);
219 VERIFY(pr->sc == MBUF_SC_UNSPEC || MBUF_VALID_SC(pr->sc));
220 VERIFY(pr->flow != 0);
224 VERIFY(i < IFCQ_SC_MAX);
536 VERIFY(cl == NULL || cl->cl_tif == tif);
558 VERIFY(ret == CLASSQEQ_DROPPED ||
611 VERIFY(!IFCQ_IS_EMPTY(ifq));
654 VERIFY(cl->cl_flags & TQCF_LAZY);
770 VERIFY(qlen(&cl->cl_q) == (qlen - cnt));
775 VERIFY(((signe
[all...]
H A Dpktsched.h121 VERIFY(word != 0);
H A Dpktsched_qfq.c265 VERIFY(qif->qif_class_tbl != NULL);
269 VERIFY(qif->qif_groups != NULL);
274 VERIFY(grp->qfg_slots != NULL);
334 VERIFY(IFCQ_LEN(qif->qif_ifq) == 0);
346 VERIFY(pr->sc == MBUF_SC_UNSPEC || MBUF_VALID_SC(pr->sc));
347 VERIFY(pr->flow != 0);
351 VERIFY(i < IFCQ_SC_MAX);
516 VERIFY(w > 0 && w <= QFQ_MAX_WEIGHT);
520 VERIFY(qif->qif_wsum + w <= QFQ_MAX_WSUM);
523 VERIFY(
[all...]
/darwin-on-arm/xnu/bsd/netinet6/
H A Dnd6_prproxy.c297 VERIFY(up->ndprl_up == NULL);
301 VERIFY(!prproxy || ((pr->ndpr_stateflags & NDPRF_ONLINK) &&
305 VERIFY(pr->ndpr_prproxy_sols_cnt == 0);
306 VERIFY(RB_EMPTY(&pr->ndpr_prproxy_sols));
343 VERIFY(pr_up != NULL);
347 VERIFY(!prproxy || ((pr_up->ndpr_stateflags & NDPRF_ONLINK) &&
506 VERIFY(SLIST_EMPTY(&up_head));
507 VERIFY(SLIST_EMPTY(&down_head));
531 VERIFY(ro6 == NULL);
553 VERIFY(IN6_ARE_ADDR_EQUA
[all...]
H A Din6_mcast.c270 VERIFY(inm->in6m_ifma != NULL);
271 VERIFY(inm->in6m_ifp == inm->in6m_ifma->ifma_ifp);
402 VERIFY(src->sa_family == AF_INET6);
403 VERIFY(gidx != (size_t)-1 && gidx < imo->im6o_num_memberships);
433 VERIFY(ifp != NULL);
481 VERIFY(inm->in6m_reqcnt >= 1);
483 VERIFY(inm->in6m_reqcnt != 0);
514 VERIFY(ifma->ifma_addr != NULL);
515 VERIFY(ifma->ifma_addr->sa_family == AF_INET6);
519 VERIFY(in
[all...]
H A Dmld6.c258 VERIFY(SLIST_EMPTY(_head)); \
461 VERIFY(IN6_IS_ADDR_MULTICAST(addr));
525 VERIFY(!(mli->mli_debug & IFD_ATTACHED));
527 VERIFY(ifp != NULL);
587 VERIFY(SLIST_EMPTY(&mli->mli_relinmhead));
719 VERIFY(SLIST_EMPTY(&mli->mli_relinmhead));
795 VERIFY(mli != NULL);
1000 VERIFY(mli != NULL);
1308 VERIFY(mli != NULL);
1546 VERIFY(qr
[all...]
H A Dnd6_nbr.c201 VERIFY(rt->rt_llinfo_purge != NULL);
788 VERIFY(!(m->m_pkthdr.aux_flags & MAUXF_INET_RESOLVE_RTR));
1048 VERIFY(ndi != NULL && ndi->initialized);
1146 VERIFY(ndi != NULL && ndi->initialized);
1643 VERIFY(ndi != NULL && ndi->initialized);
1675 VERIFY(!dp->dad_attached);
1694 VERIFY(dp->dad_ifa == ifa);
1813 VERIFY(ndi != NULL && ndi->initialized);
2176 VERIFY(nd6_need_cache(ifp));
2177 VERIFY(s
[all...]
/darwin-on-arm/xnu/bsd/net/
H A Ddlil.c660 VERIFY(proto->detached);
841 VERIFY(((intptr_t)base + dlif_tcpstat_size) <=
863 VERIFY(((intptr_t)base + dlif_udpstat_size) <=
874 VERIFY(IS_P2ALIGNED(ifp->if_tcp_stat, sizeof (u_int64_t)) &&
909 VERIFY(inp == dlil_main_input_thread);
914 VERIFY(inp != dlil_main_input_thread);
919 VERIFY(inp != dlil_main_input_thread);
923 VERIFY(inp->input_thr == THREAD_NULL);
998 VERIFY(current_thread() == inp->input_thr);
999 VERIFY(in
[all...]
H A Dpf_norm.c298 VERIFY(!0 && "only IPv4 and IPv6 supported!");
313 VERIFY(BUFFER_FRAGMENTS(frag));
327 VERIFY(0 && "only IPv4 and IPv6 supported");
334 VERIFY(!BUFFER_FRAGMENTS(frag));
348 VERIFY(0 && "only IPv4 and IPv6 supported");
352 VERIFY(TAILQ_EMPTY(&pf_cachequeue) ||
412 VERIFY(LIST_EMPTY(&frag->fr_cache) ||
513 VERIFY(*frag == NULL || BUFFER_FRAGMENTS(*frag));
557 VERIFY(frep != NULL || frea != NULL);
638 VERIFY(fren
[all...]
H A Dif_llreach.c270 VERIFY(alen == IF_LLREACH_MAXLEN); /* for now */
298 VERIFY(alen == IF_LLREACH_MAXLEN); /* for now */
308 VERIFY(lr->lr_reqcnt >= 1);
310 VERIFY(lr->lr_reqcnt != 0);
335 VERIFY(lr->lr_reqcnt == 1);
434 VERIFY(ifp != NULL && iflri != NULL &&
/darwin-on-arm/xnu/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)
/darwin-on-arm/xnu/bsd/netinet/
H A Din_mcast.c266 VERIFY(inm->inm_ifma != NULL);
267 VERIFY(inm->inm_ifp == inm->inm_ifma->ifma_ifp);
393 VERIFY(src->sa_family == AF_INET);
394 VERIFY(gidx != (size_t)-1 && gidx < imo->imo_num_memberships);
424 VERIFY(ifp != NULL);
496 VERIFY(to->imo_max_memberships != 0 && from->imo_max_memberships != 0);
506 VERIFY(to->imo_max_memberships >= from->imo_max_memberships);
520 VERIFY(to->imo_num_memberships == from->imo_num_memberships);
551 VERIFY(inm->inm_reqcnt >= 1);
553 VERIFY(in
[all...]
H A Digmp.c299 VERIFY(SLIST_EMPTY(_head)); \
585 VERIFY(!(igi->igi_debug & IFD_ATTACHED));
587 VERIFY(ifp != NULL);
647 VERIFY(SLIST_EMPTY(&igi->igi_relinmhead));
776 VERIFY(SLIST_EMPTY(&igi->igi_relinmhead));
814 VERIFY(igi != NULL);
906 VERIFY(igi != NULL);
1107 VERIFY(igi != NULL);
1367 VERIFY(igi != NULL);
1505 VERIFY(ig
[all...]
H A Dcpu_in_cksum.c102 VERIFY(len >= 0);
103 VERIFY(off >= 0);
248 VERIFY(len >= 0);
249 VERIFY(off >= 0);
H A Din.c471 VERIFY(cmd == SIOCDIFADDR);
521 VERIFY(cmd == SIOCDIFADDR || cmd == SIOCSIFADDR ||
624 VERIFY(ifp != NULL);
652 VERIFY(ifp != NULL);
679 VERIFY(ia != NULL);
687 VERIFY(ia != NULL);
700 VERIFY(ia != NULL);
713 VERIFY(ia != NULL);
722 VERIFY(ifp != NULL && ia != NULL);
802 VERIFY(i
[all...]
H A Din_arp.c272 VERIFY(la->la_rt->rt_llinfo == la);
285 VERIFY(rt->rt_llinfo_purge == arp_llinfo_purge && la != NULL);
383 VERIFY(la->la_llreach != NULL);
427 VERIFY(rt->rt_expire == 0 || rt->rt_rmx.rmx_expire != 0);
428 VERIFY(rt->rt_expire != 0 || rt->rt_rmx.rmx_expire == 0);
450 VERIFY(rt->rt_llinfo_purge != NULL);
539 VERIFY(rt->rt_expire == 0 || rt->rt_rmx.rmx_expire != 0);
540 VERIFY(rt->rt_expire != 0 || rt->rt_rmx.rmx_expire == 0);
998 VERIFY(route->rt_expire == 0 || route->rt_rmx.rmx_expire != 0);
999 VERIFY(rout
[all...]
/darwin-on-arm/xnu/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);

Completed in 202 milliseconds

123