Lines Matching refs:VERIFY
400 VERIFY(p->m_tag_cookie == M_TAG_VALID_PATTERN);
405 VERIFY(IS_P2ALIGNED(hdr + 1, sizeof (u_int64_t)));
406 VERIFY(m->m_flags & M_TAGHDR && !(m->m_flags & M_EXT));
411 VERIFY(IS_P2ALIGNED(t, sizeof (u_int64_t)));
414 VERIFY(m->m_len <= MLEN);
452 VERIFY(IS_P2ALIGNED(hdr + 1, sizeof (u_int64_t)));
456 VERIFY(IS_P2ALIGNED(t, sizeof (u_int64_t)));
458 VERIFY(m->m_len <= MLEN);
468 VERIFY(IS_P2ALIGNED(t, sizeof (u_int64_t)));
492 VERIFY(t->m_tag_cookie == M_TAG_VALID_PATTERN);
496 VERIFY(m->m_flags & M_TAGHDR);
499 VERIFY(IS_P2ALIGNED(hdr + 1, sizeof (u_int64_t)));
523 VERIFY(m != NULL && t != NULL);
532 VERIFY(m->m_flags & M_PKTHDR);
533 VERIFY(t != NULL && t->m_tag_cookie == M_TAG_VALID_PATTERN);
552 VERIFY(m->m_flags & M_PKTHDR);
562 VERIFY(p->m_tag_cookie == M_TAG_VALID_PATTERN);
564 VERIFY(q->m_tag_cookie == M_TAG_VALID_PATTERN);
576 VERIFY(m->m_flags & M_PKTHDR);
581 VERIFY(t->m_tag_cookie == M_TAG_VALID_PATTERN);
585 VERIFY(p->m_tag_cookie == M_TAG_VALID_PATTERN);
599 VERIFY(t != NULL);
635 VERIFY((to->m_flags & M_PKTHDR) && (from->m_flags & M_PKTHDR));
639 VERIFY(p->m_tag_cookie == M_TAG_VALID_PATTERN);
659 VERIFY(m->m_flags & M_PKTHDR);
677 VERIFY(m->m_flags & M_PKTHDR);
687 VERIFY(t != NULL);
688 VERIFY(t->m_tag_cookie == M_TAG_VALID_PATTERN);
712 VERIFY(m->m_flags & M_PKTHDR);
727 VERIFY(m->m_flags & M_PKTHDR);
777 VERIFY(0);
822 VERIFY(0);