103 		VERIFY(inp == dlil_main_input_thread);  in dlil_create_input_thread()
111 		VERIFY(inp != dlil_main_input_thread);  in dlil_create_input_thread()
119 		VERIFY(inp != dlil_main_input_thread);  in dlil_create_input_thread()
129 		VERIFY(inp != dlil_main_input_thread);  in dlil_create_input_thread()
134 	VERIFY(inp->dlth_thread == THREAD_NULL);  in dlil_create_input_thread()
231 	VERIFY(current_thread() == inp->dlth_thread);  in dlil_terminate_input_thread()
232 	VERIFY(inp != dlil_main_input_thread);  in dlil_terminate_input_thread()
250 	VERIFY((inp->dlth_flags & DLIL_INPUT_TERMINATE) != 0);  in dlil_terminate_input_thread()
380 			VERIFY(inp->dlth_poller_thread == THREAD_NULL);  in dlil_input_async()
383 			VERIFY(inp->dlth_driver_thread == THREAD_NULL);  in dlil_input_async()
400 	VERIFY(m_head != NULL || (m_tail == NULL && m_cnt == 0));  in dlil_input_async()
1042 			VERIFY(ifproto == NULL);  in dlil_input_packet_list_common()
1046 			VERIFY(ifproto == NULL);  in dlil_input_packet_list_common()
1119 	VERIFY(inp != dlil_main_input_thread);  in dlil_input_thread_func()
1120 	VERIFY(ifp != NULL);  in dlil_input_thread_func()
1121 	VERIFY(!(ifp->if_eflags & IFEF_RXPOLL) || !net_rxpoll ||  in dlil_input_thread_func()
1123 	VERIFY(ifp->if_poll_mode == IFNET_MODEL_INPUT_POLL_OFF ||  in dlil_input_thread_func()
1125 	VERIFY(current_thread() == inp->dlth_thread);  in dlil_input_thread_func()
1140 	VERIFY(!(inp->dlth_flags & (DLIL_INPUT_EMBRYONIC | DLIL_INPUT_RUNNING)));  in dlil_input_thread_func()
1164 	VERIFY(!(inp->dlth_flags & DLIL_INPUT_RUNNING));  in dlil_input_thread_cont()
1188 		VERIFY(!(inp->dlth_flags &  in dlil_input_thread_cont()
1229 		VERIFY(inp->dlth_flags & DLIL_INPUT_RUNNING);  in dlil_input_thread_cont()
1250 	VERIFY(0);      /* we should never get here */  in dlil_input_thread_cont()
1340 	VERIFY(inp == dlil_main_input_thread);  in dlil_main_input_thread_func()
1341 	VERIFY(inp->dlth_ifp == NULL);  in dlil_main_input_thread_func()
1342 	VERIFY(current_thread() == inp->dlth_thread);  in dlil_main_input_thread_func()
1345 	VERIFY(!(inp->dlth_flags & (DLIL_INPUT_EMBRYONIC | DLIL_INPUT_RUNNING)));  in dlil_main_input_thread_func()
1374 	VERIFY(wres != THREAD_INTERRUPTED);  in dlil_main_input_thread_cont()
1376 	VERIFY(!(inp->dlth_flags & (DLIL_INPUT_TERMINATE |  in dlil_main_input_thread_cont()
1435 		VERIFY(inp->dlth_flags & DLIL_INPUT_RUNNING);  in dlil_main_input_thread_cont()
1437 		VERIFY(!(inp->dlth_flags & DLIL_INPUT_TERMINATE));  in dlil_main_input_thread_cont()
1448 	VERIFY(0);      /* we should never get here */  in dlil_main_input_thread_cont()
1466 	VERIFY(inp != dlil_main_input_thread);  in dlil_rxpoll_input_thread_func()
1467 	VERIFY(ifp != NULL && (ifp->if_eflags & IFEF_RXPOLL) &&  in dlil_rxpoll_input_thread_func()
1469 	VERIFY(current_thread() == inp->dlth_thread);  in dlil_rxpoll_input_thread_func()
1478 	VERIFY(!(inp->dlth_flags & (DLIL_INPUT_EMBRYONIC | DLIL_INPUT_RUNNING)));  in dlil_rxpoll_input_thread_func()
1503 	VERIFY(!(inp->dlth_flags & DLIL_INPUT_RUNNING));  in dlil_rxpoll_input_thread_cont()
1545 		VERIFY(!(inp->dlth_flags &  in dlil_rxpoll_input_thread_cont()
1557 		VERIFY(m != NULL || m_cnt == 0);  in dlil_rxpoll_input_thread_cont()
1730 				VERIFY(0);  in dlil_rxpoll_input_thread_cont()
1748 		VERIFY(inp->dlth_flags & DLIL_INPUT_RUNNING);  in dlil_rxpoll_input_thread_cont()
1770 	VERIFY(0);      /* we should never get here */  in dlil_rxpoll_input_thread_cont()
1822 	VERIFY(overcommitted_qlen == target_qlen + dropped_pkts);  in dlil_trim_overcomitted_queue_locked()