Lines Matching refs:VERIFY
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_EMPTY(ifq));
643 VERIFY(pri < PRIQ_MAXPRI);
645 VERIFY(cl != NULL && !qempty(&cl->cl_q));
651 VERIFY(m != NULL); /* qalg must be work conserving */
693 VERIFY(cl->cl_flags & PRCF_LAZY);
783 VERIFY(!pktsched_bit_tst(cl->cl_pri, &pif->pif_bitmap));
811 VERIFY(qlen(&cl->cl_q) == (qlen - cnt));
816 VERIFY(((signed)IFCQ_LEN(ifq) - cnt) >= 0);
947 VERIFY((u_int32_t)i < IFCQ_SC_MAX);
1007 VERIFY(ifq->ifcq_disc == NULL);
1008 VERIFY(ifq->ifcq_type == PKTSCHEDT_NONE);
1121 VERIFY(pif != NULL && ifq->ifcq_type == PKTSCHEDT_PRIQ);
1141 VERIFY(ifq->ifcq_type == PKTSCHEDT_PRIQ);
1158 VERIFY(!(pif->pif_flags & PRIQIFF_ALTQ));
1181 VERIFY(0);
1265 VERIFY(cl->cl_flags & PRCF_LAZY);