Lines Matching refs:VERIFY
1315 VERIFY(IFCQ_IS_EMPTY(ifq));
1329 VERIFY(sc == MBUF_SC_UNSPEC || MBUF_VALID_SC(sc));
1330 VERIFY(flow != 0);
1339 VERIFY((signed)(ifq->ifcq_drain - cnt) >= 0);
1457 VERIFY(0);
1489 VERIFY(0);
1503 VERIFY(ifp != NULL);
1541 VERIFY(0);
1556 VERIFY(ifp != NULL);
1625 VERIFY(0);
1639 VERIFY(ifp != NULL);
1654 VERIFY(0);
1668 VERIFY(ifp != NULL);
1694 VERIFY(0);
1919 VERIFY(ifs != NULL);
2451 VERIFY(so->so_proto != NULL);
2502 VERIFY(0);
2637 VERIFY(sa->sa_family == AF_LINK);
2905 VERIFY(ifma->ifma_reqcnt == 1);
2910 VERIFY(ifma->ifma_anoncnt == 1);
3007 VERIFY(!(ifma->ifma_flags & IFMAF_ANONYMOUS) ||
3009 VERIFY((ifma->ifma_flags & IFMAF_ANONYMOUS) ||
3013 VERIFY(ifma->ifma_anoncnt == 1);
3019 VERIFY(ifma->ifma_reqcnt > 1);
3155 VERIFY(!anon || sa->sa_family == AF_UNSPEC ||
3233 VERIFY(!anon); /* must not get here if "anonymous" */
3239 VERIFY(ifma->ifma_ll->ifma_ifp == ifp);
3254 VERIFY(!anon || ifma->ifma_ll == NULL);
3344 VERIFY(ifma != NULL || (ifp != NULL && sa != NULL));
3364 VERIFY(!(ifma->ifma_flags & IFMAF_ANONYMOUS) ||
3384 VERIFY(!lastref || (!(ifma->ifma_debug & IFD_ATTACHED) &&
3386 VERIFY(!anon || ifma->ifma_ll == NULL);
3760 VERIFY(ifp->if_inp != NULL);