bsd/net/dlil.c

660 	VERIFY(proto->detached);
841 		VERIFY(((intptr_t)base + dlif_tcpstat_size) <=
863 		VERIFY(((intptr_t)base + dlif_udpstat_size) <=
874 		VERIFY(IS_P2ALIGNED(ifp->if_tcp_stat, sizeof (u_int64_t)) &&
909 		VERIFY(inp == dlil_main_input_thread);
914 		VERIFY(inp != dlil_main_input_thread);
919 		VERIFY(inp != dlil_main_input_thread);
923 	VERIFY(inp->input_thr == THREAD_NULL);
998 	VERIFY(current_thread() == inp->input_thr);
999 	VERIFY(inp != dlil_main_input_thread);
1011 	VERIFY(qhead(&inp->rcvq_pkts) == NULL && qempty(&inp->rcvq_pkts));
1015 	VERIFY(!inp->net_affinity);
1017 	VERIFY(inp->wloop_thr == THREAD_NULL);
1018 	VERIFY(inp->poll_thr == THREAD_NULL);
1019 	VERIFY(inp->tag == 0);
1271 	VERIFY(ifp->if_flt_busy != 0);
1298 	VERIFY(ifp->if_flt_busy != 0);
1481 	VERIFY(inp == dlil_main_input_thread);
1482 	VERIFY(inp->ifp == NULL);
1483 	VERIFY(inp->mode == IFNET_MODEL_INPUT_POLL_OFF);
1503 		VERIFY(!(inp->input_waiting & DLIL_INPUT_TERMINATE));
1538 	VERIFY(0);	/* we should never get here */
1551 	VERIFY(inp != dlil_main_input_thread);
1552 	VERIFY(ifp != NULL);
1553 	VERIFY(!(ifp->if_eflags & IFEF_RXPOLL) || !net_rxpoll);
1554 	VERIFY(inp->mode == IFNET_MODEL_INPUT_POLL_OFF);
1579 		VERIFY(!(inp->input_waiting &
1615 	VERIFY(0);	/* we should never get here */
1629 	VERIFY(inp != dlil_main_input_thread);
1630 	VERIFY(ifp != NULL && (ifp->if_eflags & IFEF_RXPOLL));
1667 		VERIFY(!(inp->input_waiting &
1688 		VERIFY(m != NULL || m_cnt == 0);
1840 				VERIFY(0);
1858 	VERIFY(0);	/* we should never get here */
1867 	VERIFY(inp != dlil_main_input_thread);
1868 	VERIFY(ifp != NULL && (ifp->if_eflags & IFEF_RXPOLL));
1942 	VERIFY(m_tail == NULL || ext);
1943 	VERIFY(s != NULL || !ext);
2017 			VERIFY(inp->poll_thr == THREAD_NULL);
2020 			VERIFY(inp->wloop_thr == THREAD_NULL);
2136 			VERIFY(inp->wloop_thr == THREAD_NULL);
2137 			VERIFY(inp->poll_thr == THREAD_NULL);
2206 	VERIFY(0);	/* we should never get here */
2253 	VERIFY(inp != NULL);
2315 				VERIFY(m_tail != NULL && m_cnt > 0);
2363 	VERIFY(0);	/* we should never get here */
2918 			VERIFY(ifproto == NULL);
2922 			VERIFY(ifproto == NULL);
3694 	VERIFY((uth->uu_network_lock_held & flag) != flag);
3703 	VERIFY((uth->uu_network_lock_held & flag) == flag);
3867 	VERIFY(ifp->if_refio > 0);
3868 	VERIFY((ifp->if_refflags & (IFRF_ATTACHED | IFRF_DETACHING)) != 0);
4289 	VERIFY(ifp->if_detaching_link.tqe_next == NULL);
4290 	VERIFY(ifp->if_detaching_link.tqe_prev == NULL);
4317 	VERIFY(ifp->if_proto_hash == NULL);
4328 	VERIFY(TAILQ_EMPTY(&ifp->if_flt_head));
4330 	VERIFY(ifp->if_flt_busy == 0);
4331 	VERIFY(ifp->if_flt_waiters == 0);
4334 	VERIFY(TAILQ_EMPTY(&ifp->if_prefixhead));
4338 		VERIFY(LIST_EMPTY(&ifp->if_multiaddrs));
4342 	VERIFY(ifp->if_allhostsinm == NULL);
4343 	VERIFY(TAILQ_EMPTY(&ifp->if_addrhead));
4359 	VERIFY(ifindex2ifnet[ifp->if_index] == NULL);
4362 	VERIFY(!(dl_if->dl_if_flags & DLIF_REUSE) || ifp->if_lladdr != NULL);
4371 	VERIFY(ifnet_addrs[ifp->if_index - 1] == NULL);
4407 	VERIFY(ifp->if_output_sched_model == IFNET_SCHED_MODEL_NORMAL ||
4426 	VERIFY(dl_inp->input_waiting == 0);
4427 	VERIFY(dl_inp->wtot == 0);
4428 	VERIFY(dl_inp->ifp == NULL);
4429 	VERIFY(qhead(&dl_inp->rcvq_pkts) == NULL && qempty(&dl_inp->rcvq_pkts));
4430 	VERIFY(qlimit(&dl_inp->rcvq_pkts) == 0);
4431 	VERIFY(!dl_inp->net_affinity);
4432 	VERIFY(ifp->if_inp == NULL);
4433 	VERIFY(dl_inp->input_thr == THREAD_NULL);
4434 	VERIFY(dl_inp->wloop_thr == THREAD_NULL);
4435 	VERIFY(dl_inp->poll_thr == THREAD_NULL);
4436 	VERIFY(dl_inp->tag == 0);
4437 	VERIFY(dl_inp->mode == IFNET_MODEL_INPUT_POLL_OFF);
4442 	VERIFY(dl_inp->input_mbuf_cnt == 0);
4468 		VERIFY(ifp->if_start != NULL);
4469 		VERIFY(ifp->if_start_thread == THREAD_NULL);
4490 		VERIFY(ifp->if_input_poll != NULL);
4491 		VERIFY(ifp->if_input_ctl != NULL);
4492 		VERIFY(ifp->if_poll_thread == THREAD_NULL);
4508 	VERIFY(ifp->if_desc.ifd_maxlen == IF_DESCSIZE);
4509 	VERIFY(ifp->if_desc.ifd_len == 0);
4510 	VERIFY(ifp->if_desc.ifd_desc != NULL);
4563 		VERIFY(IGMP_IFINFO(ifp) != NULL);
4565 		VERIFY(IGMP_IFINFO(ifp)->igi_ifp == ifp);
4572 		VERIFY(MLD_IFINFO(ifp) != NULL);
4574 		VERIFY(MLD_IFINFO(ifp)->mli_ifp == ifp);
4641 	VERIFY(ll_addr == NULL || ll_addr->sdl_alen == ifp->if_addrlen);
4680 		VERIFY(ifa == NULL || ifa == &dl_if->dl_if_lladdr.ifa);
4704 	VERIFY(ifa->ifa_debug == IFD_LINK);
4791 	VERIFY(ifindex2ifnet[ifp->if_index] == ifp);
4858 	VERIFY(ifnet_detaching_cnt != 0);
4871 	VERIFY(ifnet_detaching_cnt != 0 || ifp == NULL);
4873 		VERIFY(ifnet_detaching_cnt != 0);
4897 		VERIFY(TAILQ_FIRST(&ifnet_detaching_head) != NULL);
4923 	VERIFY(0);
4992 		VERIFY(SLIST_EMPTY(&ifp->if_proto_hash[i]));
4999 	VERIFY(ifnet_addrs[ifp->if_index - 1] == ifa);
5009 	VERIFY(ifp->if_link.tqe_next == NULL);
5010 	VERIFY(ifp->if_link.tqe_prev == NULL);
5011 	VERIFY(ifp->if_detaching_link.tqe_next == NULL);
5012 	VERIFY(ifp->if_detaching_link.tqe_prev == NULL);
5015 	VERIFY(TAILQ_EMPTY(&ifp->if_prefixhead));
5018 	VERIFY(ifindex2ifnet[ifp->if_index] == NULL);
5021 	VERIFY(TAILQ_EMPTY(&ifp->if_addrhead));
5050 		VERIFY(inp != dlil_main_input_thread);
5067 				VERIFY(ifp->if_eflags & IFEF_RXPOLL);
5115 	VERIFY(ifp->if_desc.ifd_maxlen == IF_DESCSIZE);
5117 	VERIFY(ifp->if_desc.ifd_desc != NULL);
5131 	VERIFY(TAILQ_EMPTY(&ifp->if_flt_head));
5132 	VERIFY(ifp->if_flt_busy == 0);
5133 	VERIFY(ifp->if_flt_waiters == 0);
5141 	VERIFY(!ifp->if_fwd_cacheok);
5338 	VERIFY(((intptr_t)base + dlif_size) <= ((intptr_t)buf + dlif_bufsize));
5411 	VERIFY(dlifp1 == NULL || (IS_P2ALIGNED(dlifp1, sizeof (u_int64_t)) &&
5622 	VERIFY(lqm >= IFNET_LQM_MIN && lqm <= IFNET_LQM_MAX);
5741 	VERIFY(SLIST_EMPTY(fcl) && !SLIST_EMPTY(&ifnet_fclist));
5822 		VERIFY(infc->infc_inp != NULL);
5844 	VERIFY(0);
5855 	VERIFY(ifp);
5856 	VERIFY(sa);
5857 	VERIFY(sa->sa_family == AF_LINK || sa->sa_family == AF_INET6);
5880 	VERIFY(ifp);
5881 	VERIFY(sa);
5882 	VERIFY(sa->sa_family == AF_LINK || sa->sa_family == AF_INET6);
5901 	VERIFY(cmd == SIOCSIFOPPORTUNISTIC || cmd == SIOCGIFOPPORTUNISTIC);