Lines Matching refs:VERIFY
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(t->m_tag_cookie == M_TAG_VALID_PATTERN);
502 VERIFY(m->m_flags & M_TAGHDR);
505 VERIFY(IS_P2ALIGNED(hdr + 1, sizeof (u_int64_t)));
529 VERIFY(m != NULL && t != NULL);
538 VERIFY(m != NULL && t != NULL);
539 VERIFY(t->m_tag_cookie == M_TAG_VALID_PATTERN);
548 VERIFY(m != NULL && t != NULL);
560 VERIFY(m != NULL);
570 VERIFY(p->m_tag_cookie == M_TAG_VALID_PATTERN);
572 VERIFY(q->m_tag_cookie == M_TAG_VALID_PATTERN);
584 VERIFY(m != NULL);
589 VERIFY(t->m_tag_cookie == M_TAG_VALID_PATTERN);
593 VERIFY(p->m_tag_cookie == M_TAG_VALID_PATTERN);
607 VERIFY(t != NULL);
651 VERIFY(to != NULL && from != NULL);
655 VERIFY(p->m_tag_cookie == M_TAG_VALID_PATTERN);
675 VERIFY(m != NULL);
686 VERIFY(m != NULL);
696 VERIFY(t != NULL);
697 VERIFY(t->m_tag_cookie == M_TAG_VALID_PATTERN);
728 VERIFY(m->m_flags & M_PKTHDR);
743 VERIFY(m->m_flags & M_PKTHDR);
793 VERIFY(0);
838 VERIFY(0);