Lines Matching refs:VERIFY
293 VERIFY(m->m_flags & M_PKTHDR);
800 VERIFY(MBUFQ_EMPTY(&diq6));
804 VERIFY(m == NULL);
808 VERIFY(MBUFQ_EMPTY(&diq6));
817 VERIFY(MBUFQ_EMPTY(&diq6));
828 VERIFY(MBUFQ_EMPTY(&diq6));
982 VERIFY(MBUFQ_EMPTY(&dfq6));
983 VERIFY(MBUFQ_EMPTY(&diq6));
1022 VERIFY(MBUFQ_EMPTY(&dfq6));
1023 VERIFY(MBUFQ_EMPTY(&diq6));