bsd/net/dlil.c

812 	VERIFY(proto->detached);
1013 		VERIFY(((intptr_t)base + dlif_tcpstat_size) <=
1035 		VERIFY(((intptr_t)base + dlif_udpstat_size) <=
1046 		VERIFY(IS_P2ALIGNED(ifp->if_tcp_stat, sizeof (u_int64_t)) &&
1081 		VERIFY(inp == dlil_main_input_thread);
1086 		VERIFY(inp != dlil_main_input_thread);
1091 		VERIFY(inp != dlil_main_input_thread);
1095 	VERIFY(inp->input_thr == THREAD_NULL);
1170 	VERIFY(current_thread() == inp->input_thr);
1171 	VERIFY(inp != dlil_main_input_thread);
1183 	VERIFY(qhead(&inp->rcvq_pkts) == NULL && qempty(&inp->rcvq_pkts));
1187 	VERIFY(!inp->net_affinity);
1189 	VERIFY(inp->wloop_thr == THREAD_NULL);
1190 	VERIFY(inp->poll_thr == THREAD_NULL);
1191 	VERIFY(inp->tag == 0);
1524 	VERIFY(ifp->if_flt_busy != 0);
1551 	VERIFY(ifp->if_flt_busy != 0);
1734 	VERIFY(inp == dlil_main_input_thread);
1735 	VERIFY(inp->ifp == NULL);
1736 	VERIFY(inp->mode == IFNET_MODEL_INPUT_POLL_OFF);
1756 		VERIFY(!(inp->input_waiting & DLIL_INPUT_TERMINATE));
1791 	VERIFY(0);	/* we should never get here */
1804 	VERIFY(inp != dlil_main_input_thread);
1805 	VERIFY(ifp != NULL);
1806 	VERIFY(!(ifp->if_eflags & IFEF_RXPOLL) || !net_rxpoll);
1807 	VERIFY(inp->mode == IFNET_MODEL_INPUT_POLL_OFF);
1832 		VERIFY(!(inp->input_waiting &
1868 	VERIFY(0);	/* we should never get here */
1882 	VERIFY(inp != dlil_main_input_thread);
1883 	VERIFY(ifp != NULL && (ifp->if_eflags & IFEF_RXPOLL));
1923 		VERIFY(!(inp->input_waiting &
1944 		VERIFY(m != NULL || m_cnt == 0);
2095 				VERIFY(0);
2113 	VERIFY(0);	/* we should never get here */
2127 	VERIFY(ifp != NULL);
2197 		VERIFY(plowat != 0 && phiwat != 0);
2198 		VERIFY(blowat != 0 && bhiwat != 0);
2199 		VERIFY(ival >= IF_RXPOLL_INTERVALTIME_MIN);
2239 	VERIFY(ifp != NULL && p != NULL);
2286 	VERIFY(m_head != NULL || (s == NULL && m_tail == NULL && !ext && poll));
2287 	VERIFY(m_tail == NULL || ext);
2288 	VERIFY(s != NULL || !ext);
2373 			VERIFY(inp->poll_thr == THREAD_NULL);
2376 			VERIFY(inp->wloop_thr == THREAD_NULL);
2393 	VERIFY(m_head != NULL || (m_tail == NULL && m_cnt == 0));
2515 			VERIFY(inp->wloop_thr == THREAD_NULL);
2516 			VERIFY(inp->poll_thr == THREAD_NULL);
2630 	VERIFY(inp != NULL);
2692 				VERIFY(m_tail != NULL && m_cnt > 0);
3401 			VERIFY(ifproto == NULL);
3405 			VERIFY(ifproto == NULL);
3958 		VERIFY(ifp->if_eflags & IFEF_SENDLIST);
4253 		VERIFY((pop & ones) == pop);
4254 		VERIFY((ptrdiff_t)(uth->uu_network_marks & pop) == pop);
4269 		VERIFY((unpop & ones) == unpop);
4270 		VERIFY((ptrdiff_t)(uth->uu_network_marks & unpop) == 0);
4457 	VERIFY(ifp->if_refio > 0);
4458 	VERIFY((ifp->if_refflags & (IFRF_ATTACHED | IFRF_DETACHING)) != 0);
4879 	VERIFY(ifp->if_detaching_link.tqe_next == NULL);
4880 	VERIFY(ifp->if_detaching_link.tqe_prev == NULL);
4907 	VERIFY(ifp->if_proto_hash == NULL);
4918 	VERIFY(TAILQ_EMPTY(&ifp->if_flt_head));
4920 	VERIFY(ifp->if_flt_busy == 0);
4921 	VERIFY(ifp->if_flt_waiters == 0);
4924 	VERIFY(TAILQ_EMPTY(&ifp->if_prefixhead));
4928 		VERIFY(LIST_EMPTY(&ifp->if_multiaddrs));
4932 	VERIFY(ifp->if_allhostsinm == NULL);
4933 	VERIFY(TAILQ_EMPTY(&ifp->if_addrhead));
4949 	VERIFY(ifindex2ifnet[ifp->if_index] == NULL);
4952 	VERIFY(!(dl_if->dl_if_flags & DLIF_REUSE) || ifp->if_lladdr != NULL);
4961 	VERIFY(ifnet_addrs[ifp->if_index - 1] == NULL);
4997 	VERIFY(ifp->if_output_sched_model == IFNET_SCHED_MODEL_NORMAL ||
5019 	VERIFY(dl_inp->input_waiting == 0);
5020 	VERIFY(dl_inp->wtot == 0);
5021 	VERIFY(dl_inp->ifp == NULL);
5022 	VERIFY(qhead(&dl_inp->rcvq_pkts) == NULL && qempty(&dl_inp->rcvq_pkts));
5023 	VERIFY(qlimit(&dl_inp->rcvq_pkts) == 0);
5024 	VERIFY(!dl_inp->net_affinity);
5025 	VERIFY(ifp->if_inp == NULL);
5026 	VERIFY(dl_inp->input_thr == THREAD_NULL);
5027 	VERIFY(dl_inp->wloop_thr == THREAD_NULL);
5028 	VERIFY(dl_inp->poll_thr == THREAD_NULL);
5029 	VERIFY(dl_inp->tag == 0);
5030 	VERIFY(dl_inp->mode == IFNET_MODEL_INPUT_POLL_OFF);
5035 	VERIFY(dl_inp->input_mbuf_cnt == 0);
5062 		VERIFY(ifp->if_flowhash != 0);
5064 		VERIFY(ifp->if_start != NULL);
5065 		VERIFY(ifp->if_start_thread == THREAD_NULL);
5089 		VERIFY(ifp->if_input_poll != NULL);
5090 		VERIFY(ifp->if_input_ctl != NULL);
5091 		VERIFY(ifp->if_poll_thread == THREAD_NULL);
5107 	VERIFY(ifp->if_desc.ifd_maxlen == IF_DESCSIZE);
5108 	VERIFY(ifp->if_desc.ifd_len == 0);
5109 	VERIFY(ifp->if_desc.ifd_desc != NULL);
5134 	VERIFY(ifp->if_delegated.ifp == NULL);
5135 	VERIFY(ifp->if_delegated.type == 0);
5136 	VERIFY(ifp->if_delegated.family == 0);
5137 	VERIFY(ifp->if_delegated.subfamily == 0);
5138 	VERIFY(ifp->if_delegated.expensive == 0);
5169 		VERIFY(IGMP_IFINFO(ifp) != NULL);
5171 		VERIFY(IGMP_IFINFO(ifp)->igi_ifp == ifp);
5178 		VERIFY(MLD_IFINFO(ifp) != NULL);
5180 		VERIFY(MLD_IFINFO(ifp)->mli_ifp == ifp);
5185 	VERIFY(ifp->if_data_threshold == 0);
5249 	VERIFY(ll_addr == NULL || ll_addr->sdl_alen == ifp->if_addrlen);
5288 		VERIFY(ifa == NULL || ifa == &dl_if->dl_if_lladdr.ifa);
5312 	VERIFY(ifa->ifa_debug == IFD_LINK);
5398 	VERIFY(ifindex2ifnet[ifp->if_index] == ifp);
5474 	VERIFY(ifnet_detaching_cnt != 0);
5487 	VERIFY(ifnet_detaching_cnt != 0 || ifp == NULL);
5489 		VERIFY(ifnet_detaching_cnt != 0);
5513 		VERIFY(TAILQ_FIRST(&ifnet_detaching_head) != NULL);
5539 	VERIFY(0);
5611 		VERIFY(SLIST_EMPTY(&ifp->if_proto_hash[i]));
5618 	VERIFY(ifnet_addrs[ifp->if_index - 1] == ifa);
5628 	VERIFY(ifp->if_link.tqe_next == NULL);
5629 	VERIFY(ifp->if_link.tqe_prev == NULL);
5630 	VERIFY(ifp->if_detaching_link.tqe_next == NULL);
5631 	VERIFY(ifp->if_detaching_link.tqe_prev == NULL);
5634 	VERIFY(TAILQ_EMPTY(&ifp->if_prefixhead));
5637 	VERIFY(ifindex2ifnet[ifp->if_index] == NULL);
5640 	VERIFY(TAILQ_EMPTY(&ifp->if_addrhead));
5670 		VERIFY(inp != dlil_main_input_thread);
5687 				VERIFY(ifp->if_eflags & IFEF_RXPOLL);
5736 	VERIFY(ifp->if_desc.ifd_maxlen == IF_DESCSIZE);
5738 	VERIFY(ifp->if_desc.ifd_desc != NULL);
5742 	VERIFY(ifp->if_delegated.ifp == NULL);
5743 	VERIFY(ifp->if_delegated.type == 0);
5744 	VERIFY(ifp->if_delegated.family == 0);
5745 	VERIFY(ifp->if_delegated.subfamily == 0);
5746 	VERIFY(ifp->if_delegated.expensive == 0);
5759 	VERIFY(TAILQ_EMPTY(&ifp->if_flt_head));
5760 	VERIFY(ifp->if_flt_busy == 0);
5761 	VERIFY(ifp->if_flt_waiters == 0);
5769 	VERIFY(!ifp->if_fwd_cacheok);
5778 	VERIFY(ifp->if_data_threshold == 0);
5972 	VERIFY(((intptr_t)base + dlif_size) <= ((intptr_t)buf + dlif_bufsize));
6050 	VERIFY(dlifp1 == NULL || (IS_P2ALIGNED(dlifp1, sizeof (u_int64_t)) &&
6253 	VERIFY(lqm >= IFNET_LQM_MIN && lqm <= IFNET_LQM_MAX);
6474 	VERIFY(ifp);
6475 	VERIFY(sa);
6476 	VERIFY(sa->sa_family == AF_LINK || sa->sa_family == AF_INET6);
6499 	VERIFY(ifp);
6500 	VERIFY(sa);
6501 	VERIFY(sa->sa_family == AF_LINK || sa->sa_family == AF_INET6);
6541 				VERIFY(size == ETHER_ADDR_LEN);
6545 				VERIFY(size == FIREWIRE_EUI64_LEN);
6549 				VERIFY(FALSE);
6569 	VERIFY(ifp != NULL);
6570 	VERIFY(modid != NULL);
6593 	VERIFY(cmd == SIOCSIFOPPORTUNISTIC || cmd == SIOCGIFOPPORTUNISTIC);
6710 	VERIFY(cmd == SIOCSIFLOG || cmd == SIOCGIFLOG);
6751 	VERIFY(level >= IFNET_LOG_MIN && level <= IFNET_LOG_MAX);
6752 	VERIFY(flags & IFNET_LOGF_MASK);
6896 	VERIFY(ifce->ifce_ifp != NULL);
6923 	VERIFY(ifp != NULL && (ifp->if_eflags & IFEF_TXSTART));
6924 	VERIFY(ifp->if_flowhash != 0);
6987 	VERIFY(ifce->ifce_ifp != NULL);
7353 			VERIFY(len <= sizeof (sumdata));