bsd/netinet6/nd6_prproxy.c

299 		VERIFY(up->ndprl_up == NULL);
304 		VERIFY(!prproxy || ((pr->ndpr_stateflags & NDPRF_ONLINK) &&
308 		VERIFY(pr->ndpr_prproxy_sols_cnt == 0);
309 		VERIFY(RB_EMPTY(&pr->ndpr_prproxy_sols));
356 		VERIFY(pr_up != NULL);
361 		VERIFY(!prproxy || ((pr_up->ndpr_stateflags & NDPRF_ONLINK) &&
525 	VERIFY(SLIST_EMPTY(&up_head));
526 	VERIFY(SLIST_EMPTY(&down_head));
550 		VERIFY(ro6 == NULL);
570 		VERIFY(IN6_ARE_ADDR_EQUAL(&ip6->ip6_dst,
645 		VERIFY(!(pr->ndpr_stateflags & NDPRF_IFSCOPE));
697 	VERIFY(rt == NULL && ro6->ro_rt == NULL);
717 	VERIFY(rt != NULL || ro6->ro_rt == NULL);
745 	VERIFY(pr_cur != NULL);
793 	VERIFY(!(pr_up->ndpr_stateflags & NDPRF_IFSCOPE));
844 	VERIFY(SLIST_EMPTY(&up_head));
845 	VERIFY(SLIST_EMPTY(&down_head));
935 		VERIFY(!(pr->ndpr_stateflags & NDPRF_IFSCOPE));
997 	VERIFY(SLIST_EMPTY(&ndprl_head));
1036 		VERIFY(!(pr->ndpr_stateflags & NDPRF_IFSCOPE));
1094 		VERIFY(!IN6_IS_ADDR_UNSPECIFIED(saddr));
1130 	VERIFY(SLIST_EMPTY(&ndprl_head));
1166 		VERIFY(!(pr->ndpr_stateflags & NDPRF_IFSCOPE));
1180 			VERIFY(!IN6_IS_ADDR_UNSPECIFIED(&daddr) && fwd_ifp);
1243 			VERIFY(pr == NULL);
1245 			VERIFY(!IN6_IS_ADDR_UNSPECIFIED(&daddr));
1248 			VERIFY(pr != NULL);
1282 	VERIFY(SLIST_EMPTY(&ndprl_head));
1315 		VERIFY(pr->ndpr_prproxy_sols_cnt > 0);
1326 		VERIFY(max_stgt != 0 || (pr->ndpr_prproxy_sols_cnt == 0 &&
1334 		VERIFY(pr->ndpr_prproxy_sols_cnt > 0);
1376 	VERIFY(!(pr->ndpr_stateflags & NDPRF_IFSCOPE));
1377 	VERIFY((pr->ndpr_stateflags & (NDPRF_ONLINK|NDPRF_PRPROXY)) ==
1379 	VERIFY(!IN6_IS_ADDR_UNSPECIFIED(saddr));
1393 			VERIFY(!RB_EMPTY(&pr->ndpr_prproxy_sols));
1395 			VERIFY(pr->ndpr_prproxy_sols_cnt < max_stgt);
1405 		VERIFY(soltgt->soltgt_cnt == 0);
1406 		VERIFY(TAILQ_EMPTY(&soltgt->soltgt_q));
1409 		VERIFY(pr->ndpr_prproxy_sols_cnt != 0);
1414 		VERIFY(!TAILQ_EMPTY(&soltgt->soltgt_q));
1416 		VERIFY(soltgt->soltgt_cnt < max_ssrc);
1420 	VERIFY(soltgt->soltgt_cnt != 0);
1439 	VERIFY(!(pr->ndpr_stateflags & NDPRF_IFSCOPE));
1440 	VERIFY((pr->ndpr_stateflags & (NDPRF_ONLINK|NDPRF_PRPROXY)) ==
1450 		VERIFY(soltgt == NULL || TAILQ_EMPTY(&soltgt->soltgt_q));
1454 	VERIFY(soltgt->soltgt_cnt != 0);
1457 	VERIFY(ssrc != NULL);
1486 		VERIFY(soltgt->soltgt_cnt > 0);
1492 	VERIFY(soltgt->soltgt_cnt == 0);
1493 	VERIFY(TAILQ_EMPTY(&soltgt->soltgt_q));
1504 		VERIFY(soltgt->soltgt_cnt != 0);
1507 		VERIFY(ssrc != NULL);