Lines Matching refs:VERIFY
487 VERIFY(dst_sl != NULL);
494 VERIFY(*dst_sl != NULL && dst_se != NULL);
495 VERIFY(src_se == NULL || *src_sl != NULL);
496 VERIFY(dst_se->se_addr->sa_family == af);
497 VERIFY(src_se == NULL || src_se->se_addr->sa_family == af);
558 VERIFY(0);
990 VERIFY(m->m_flags & M_PKTHDR);
995 VERIFY(!(so->so_flags & SOF_MP_SUBFLOW) ||
2021 VERIFY(so->so_msg_state != NULL);
2029 VERIFY(so->so_msg_state == NULL);
2482 VERIFY(*msgpri >= MSG_PRI_MIN && *msgpri <= MSG_PRI_MAX);