Lines Matching refs:VERIFY
275 VERIFY(!nd6_init_done);
339 VERIFY(ln->ln_rt->rt_llinfo == ln);
352 VERIFY(rt->rt_llinfo_purge == nd6_llinfo_purge && ln != NULL);
421 VERIFY(rt != NULL);
443 VERIFY(ifp != NULL && ifp->if_index < nd_ifinfo_indexlim);
446 VERIFY(ndi->initialized);
501 VERIFY(ifp != NULL);
546 VERIFY(ndi->initialized);
893 VERIFY(ndi->initialized);
1285 VERIFY(nd6_timeout_run >= 0 && nd6_timeout_run < 2);
1297 VERIFY(lazy >= 1);
2027 VERIFY(nd6_init_done);
2591 VERIFY(ifp != NULL);
3342 VERIFY(gwrt != NULL);
3362 VERIFY(rt == gwrt);
3374 VERIFY(prt != NULL);
3451 VERIFY(ndi != NULL && ndi->initialized);
3558 VERIFY(ndi != NULL && ndi->initialized);