Lines Matching refs:VERIFY
448 VERIFY(ndi->initialized);
624 VERIFY(ndi->initialized);
1083 VERIFY(ndi->initialized);
1085 VERIFY(ndi->ndefrouters >= 0);
1311 VERIFY(drrele == NULL);
1516 VERIFY(dr != NULL || ip6_doscopedroute);
1573 VERIFY((dr->stateflags & NDDRF_PROCESSED) == 0);
1695 VERIFY(nd_defrouter_busy);
1783 VERIFY(dr == NULL);
1799 VERIFY(ndi->initialized);
1815 VERIFY(ndi->ndefrouters != 0);
2084 VERIFY(ndi->initialized);
2178 VERIFY(ndi->initialized);
2181 VERIFY(ndi->nprefixes != 0);
2263 VERIFY(ndi->initialized);
2265 VERIFY(ndi->nprefixes > 0);
2587 VERIFY(pr->ndpr_addrcnt != 0);
3194 VERIFY(nd_prefix_busy);
3601 VERIFY(pr->ndpr_prproxy_sols_cnt == 0);
3602 VERIFY(RB_EMPTY(&pr->ndpr_prproxy_sols));
3606 VERIFY(ndi != NULL && ndi->initialized);
3633 VERIFY(!prproxy || !(pr->ndpr_stateflags & NDPRF_IFSCOPE));
3794 VERIFY(!prproxy || !(pr->ndpr_stateflags & NDPRF_IFSCOPE));
3797 VERIFY(prproxy);
3799 VERIFY(pr->ndpr_prproxy_sols_cnt == 0);
3800 VERIFY(RB_EMPTY(&pr->ndpr_prproxy_sols));
3828 VERIFY(pr != NULL);
3829 VERIFY(errorp != NULL);
3894 VERIFY(ndi->initialized);
3938 VERIFY(ia6 == NULL);
3989 VERIFY(ia6 != NULL);
4108 VERIFY(newia != NULL);
4118 VERIFY(!(ia0->ia6_flags & IN6_IFF_AUTOCONF));
4129 VERIFY(newia->ia6_ndpr->ndpr_addrcnt != 0);
4137 VERIFY(newia->ia6_ndpr->ndpr_addrcnt != 0);