/darwin-on-arm/xnu/bsd/kern/ |
H A D | uipc_mbuf2.c | 399 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 D | uipc_mbuf.c | 1134 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 D | mcache.c | 381 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 D | classq_subr.c | 95 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 D | classq.c | 100 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 D | classq_sfb.c | 366 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 D | pktsched.c | 139 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 D | pktsched_priq.c | 235 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 D | pktsched_tcq.c | 207 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 D | pktsched.h | 121 VERIFY(word != 0);
|
H A D | pktsched_qfq.c | 265 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 D | nd6_prproxy.c | 297 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 D | in6_mcast.c | 270 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 D | mld6.c | 258 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 D | nd6_nbr.c | 201 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 D | dlil.c | 660 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 D | pf_norm.c | 298 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 D | if_llreach.c | 270 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 D | mcache.h | 47 #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 D | in_mcast.c | 266 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 D | igmp.c | 299 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 D | cpu_in_cksum.c | 102 VERIFY(len >= 0); 103 VERIFY(off >= 0); 248 VERIFY(len >= 0); 249 VERIFY(off >= 0);
|
H A D | in.c | 471 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 D | in_arp.c | 272 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 D | altq_subr.c | 126 VERIFY(enqueue != NULL); 127 VERIFY(!(dequeue != NULL && dequeue_sc != NULL)); 128 VERIFY(request != NULL); 206 VERIFY(machclk_freq != 0);
|