Lines Matching refs:VERIFY
267 VERIFY(!inpcb_initialized);
300 VERIFY(arg == &inpcb_toomany_gcreq);
368 VERIFY(inpcb_timeout_run >= 0 && inpcb_timeout_run < 2);
1042 VERIFY(ia == NULL);
1094 VERIFY(ia == NULL);
1107 VERIFY(ia == NULL);
1129 VERIFY(ro->ro_rt->rt_ifp->if_flags & IFF_LOOPBACK);
1138 VERIFY(ia == NULL);
1212 VERIFY(ifp != NULL);
1514 VERIFY(ss != NULL);
1565 VERIFY(ss != NULL);
2086 VERIFY(inp->inp_state != INPCB_STATE_DEAD);
2104 VERIFY(!(inp->inp_flags2 & INP2_INHASHLIST));
2149 VERIFY(!(inp->inp_flags2 & INP2_INHASHLIST));
2176 VERIFY(phd != NULL && inp->inp_lport > 0);
2192 VERIFY(!(inp->inp_flags2 & INP2_INHASHLIST));
2198 VERIFY(inp->inp_pcbinfo->ipi_twcount != 0);
2207 VERIFY(!(inp->inp_flags2 & INP2_IN_FCTREE));
2449 VERIFY(ifp != NULL || ifscope == IFSCOPE_NONE);
2682 VERIFY(so != NULL);
2748 VERIFY(tmp_inp == inp);
2867 VERIFY(so != NULL);
2868 VERIFY(inp->inp_state != INPCB_STATE_DEAD);
2912 VERIFY(so != NULL);
2913 VERIFY(inp->inp_state != INPCB_STATE_DEAD);
3032 VERIFY(inp != NULL);
3072 VERIFY(inp != NULL);