102 		VERIFY(inp == dlil_main_input_thread);  in dlil_create_input_thread()
110 		VERIFY(inp != dlil_main_input_thread);  in dlil_create_input_thread()
118 		VERIFY(inp != dlil_main_input_thread);  in dlil_create_input_thread()
128 		VERIFY(inp != dlil_main_input_thread);  in dlil_create_input_thread()
133 	VERIFY(inp->dlth_thread == THREAD_NULL);  in dlil_create_input_thread()
230 	VERIFY(current_thread() == inp->dlth_thread);  in dlil_terminate_input_thread()
231 	VERIFY(inp != dlil_main_input_thread);  in dlil_terminate_input_thread()
249 	VERIFY((inp->dlth_flags & DLIL_INPUT_TERMINATE) != 0);  in dlil_terminate_input_thread()
379 			VERIFY(inp->dlth_poller_thread == THREAD_NULL);  in dlil_input_async()
382 			VERIFY(inp->dlth_driver_thread == THREAD_NULL);  in dlil_input_async()
399 	VERIFY(m_head != NULL || (m_tail == NULL && m_cnt == 0));  in dlil_input_async()
1038 			VERIFY(ifproto == NULL);  in dlil_input_packet_list_common()
1042 			VERIFY(ifproto == NULL);  in dlil_input_packet_list_common()
1115 	VERIFY(inp != dlil_main_input_thread);  in dlil_input_thread_func()
1116 	VERIFY(ifp != NULL);  in dlil_input_thread_func()
1117 	VERIFY(!(ifp->if_eflags & IFEF_RXPOLL) || !net_rxpoll ||  in dlil_input_thread_func()
1119 	VERIFY(ifp->if_poll_mode == IFNET_MODEL_INPUT_POLL_OFF ||  in dlil_input_thread_func()
1121 	VERIFY(current_thread() == inp->dlth_thread);  in dlil_input_thread_func()
1130 	VERIFY(!(inp->dlth_flags & (DLIL_INPUT_EMBRYONIC | DLIL_INPUT_RUNNING)));  in dlil_input_thread_func()
1154 	VERIFY(!(inp->dlth_flags & DLIL_INPUT_RUNNING));  in dlil_input_thread_cont()
1178 		VERIFY(!(inp->dlth_flags &  in dlil_input_thread_cont()
1219 		VERIFY(inp->dlth_flags & DLIL_INPUT_RUNNING);  in dlil_input_thread_cont()
1240 	VERIFY(0);      /* we should never get here */  in dlil_input_thread_cont()
1330 	VERIFY(inp == dlil_main_input_thread);  in dlil_main_input_thread_func()
1331 	VERIFY(inp->dlth_ifp == NULL);  in dlil_main_input_thread_func()
1332 	VERIFY(current_thread() == inp->dlth_thread);  in dlil_main_input_thread_func()
1335 	VERIFY(!(inp->dlth_flags & (DLIL_INPUT_EMBRYONIC | DLIL_INPUT_RUNNING)));  in dlil_main_input_thread_func()
1364 	VERIFY(wres != THREAD_INTERRUPTED);  in dlil_main_input_thread_cont()
1366 	VERIFY(!(inp->dlth_flags & (DLIL_INPUT_TERMINATE |  in dlil_main_input_thread_cont()
1425 		VERIFY(inp->dlth_flags & DLIL_INPUT_RUNNING);  in dlil_main_input_thread_cont()
1427 		VERIFY(!(inp->dlth_flags & DLIL_INPUT_TERMINATE));  in dlil_main_input_thread_cont()
1438 	VERIFY(0);      /* we should never get here */  in dlil_main_input_thread_cont()
1456 	VERIFY(inp != dlil_main_input_thread);  in dlil_rxpoll_input_thread_func()
1457 	VERIFY(ifp != NULL && (ifp->if_eflags & IFEF_RXPOLL) &&  in dlil_rxpoll_input_thread_func()
1459 	VERIFY(current_thread() == inp->dlth_thread);  in dlil_rxpoll_input_thread_func()
1468 	VERIFY(!(inp->dlth_flags & (DLIL_INPUT_EMBRYONIC | DLIL_INPUT_RUNNING)));  in dlil_rxpoll_input_thread_func()
1493 	VERIFY(!(inp->dlth_flags & DLIL_INPUT_RUNNING));  in dlil_rxpoll_input_thread_cont()
1535 		VERIFY(!(inp->dlth_flags &  in dlil_rxpoll_input_thread_cont()
1547 		VERIFY(m != NULL || m_cnt == 0);  in dlil_rxpoll_input_thread_cont()
1720 				VERIFY(0);  in dlil_rxpoll_input_thread_cont()
1738 		VERIFY(inp->dlth_flags & DLIL_INPUT_RUNNING);  in dlil_rxpoll_input_thread_cont()
1760 	VERIFY(0);      /* we should never get here */  in dlil_rxpoll_input_thread_cont()
1812 	VERIFY(overcommitted_qlen == target_qlen + dropped_pkts);  in dlil_trim_overcomitted_queue_locked()