bsd/netinet6/nd6_prproxy.c

297 		VERIFY(up->ndprl_up == NULL);
301 		VERIFY(!prproxy || ((pr->ndpr_stateflags & NDPRF_ONLINK) &&
305 		VERIFY(pr->ndpr_prproxy_sols_cnt == 0);
306 		VERIFY(RB_EMPTY(&pr->ndpr_prproxy_sols));
343 		VERIFY(pr_up != NULL);
347 		VERIFY(!prproxy || ((pr_up->ndpr_stateflags & NDPRF_ONLINK) &&
506 	VERIFY(SLIST_EMPTY(&up_head));
507 	VERIFY(SLIST_EMPTY(&down_head));
531 		VERIFY(ro6 == NULL);
553 		VERIFY(IN6_ARE_ADDR_EQUAL(&ip6->ip6_dst,
591 	VERIFY(pr_cur != NULL);
639 	VERIFY(!(pr_up->ndpr_stateflags & NDPRF_IFSCOPE));
690 	VERIFY(SLIST_EMPTY(&up_head));
691 	VERIFY(SLIST_EMPTY(&down_head));
766 		VERIFY(!(pr->ndpr_stateflags & NDPRF_IFSCOPE));
829 	VERIFY(SLIST_EMPTY(&ndprl_head));
868 		VERIFY(!(pr->ndpr_stateflags & NDPRF_IFSCOPE));
926 		VERIFY(!IN6_IS_ADDR_UNSPECIFIED(saddr));
962 	VERIFY(SLIST_EMPTY(&ndprl_head));
998 		VERIFY(!(pr->ndpr_stateflags & NDPRF_IFSCOPE));
1012 			VERIFY(!IN6_IS_ADDR_UNSPECIFIED(&daddr) && fwd_ifp);
1075 			VERIFY(pr == NULL);
1077 			VERIFY(!IN6_IS_ADDR_UNSPECIFIED(&daddr));
1080 			VERIFY(pr != NULL);
1115 	VERIFY(SLIST_EMPTY(&ndprl_head));
1148 		VERIFY(pr->ndpr_prproxy_sols_cnt > 0);
1159 		VERIFY(max_stgt != 0 || (pr->ndpr_prproxy_sols_cnt == 0 &&
1167 		VERIFY(pr->ndpr_prproxy_sols_cnt > 0);
1209 	VERIFY(!(pr->ndpr_stateflags & NDPRF_IFSCOPE));
1210 	VERIFY((pr->ndpr_stateflags & (NDPRF_ONLINK|NDPRF_PRPROXY)) ==
1212 	VERIFY(!IN6_IS_ADDR_UNSPECIFIED(saddr));
1226 			VERIFY(!RB_EMPTY(&pr->ndpr_prproxy_sols));
1228 			VERIFY(pr->ndpr_prproxy_sols_cnt < max_stgt);
1238 		VERIFY(soltgt->soltgt_cnt == 0);
1239 		VERIFY(TAILQ_EMPTY(&soltgt->soltgt_q));
1242 		VERIFY(pr->ndpr_prproxy_sols_cnt != 0);
1247 		VERIFY(!TAILQ_EMPTY(&soltgt->soltgt_q));
1249 		VERIFY(soltgt->soltgt_cnt < max_ssrc);
1253 	VERIFY(soltgt->soltgt_cnt != 0);
1272 	VERIFY(!(pr->ndpr_stateflags & NDPRF_IFSCOPE));
1273 	VERIFY((pr->ndpr_stateflags & (NDPRF_ONLINK|NDPRF_PRPROXY)) ==
1283 		VERIFY(soltgt == NULL || TAILQ_EMPTY(&soltgt->soltgt_q));
1287 	VERIFY(soltgt->soltgt_cnt != 0);
1290 	VERIFY(ssrc != NULL);
1319 		VERIFY(soltgt->soltgt_cnt > 0);
1325 	VERIFY(soltgt->soltgt_cnt == 0);
1326 	VERIFY(TAILQ_EMPTY(&soltgt->soltgt_q));
1337 		VERIFY(soltgt->soltgt_cnt != 0);
1340 		VERIFY(ssrc != NULL);