264 	VERIFY(MUTEX_HELD(&vif->vif_mutex));  in vioif_txbuf_alloc()
276 	VERIFY(MUTEX_HELD(&vif->vif_mutex));  in vioif_txbuf_free()
290 	VERIFY(MUTEX_HELD(&vif->vif_mutex));  in vioif_rxbuf_alloc()
302 	VERIFY(MUTEX_HELD(&vif->vif_mutex));  in vioif_rxbuf_free()
343 	VERIFY(MUTEX_HELD(&vif->vif_mutex));  in vioif_ctrlbuf_alloc()
355 	VERIFY(MUTEX_HELD(&vif->vif_mutex));  in vioif_ctrlbuf_free()
367 	VERIFY(MUTEX_HELD(&vif->vif_mutex));  in vioif_free_bufs()
376 		VERIFY(list_link_active(&tb->tb_link));  in vioif_free_bufs()
409 	VERIFY(list_is_empty(&vif->vif_txbufs));  in vioif_free_bufs()
424 		VERIFY(list_link_active(&rb->rb_link));  in vioif_free_bufs()
437 	VERIFY(list_is_empty(&vif->vif_rxbufs));  in vioif_free_bufs()
453 			VERIFY(list_link_active(&cb->cb_link));  in vioif_free_bufs()
466 		VERIFY(list_is_empty(&vif->vif_ctrlbufs));  in vioif_free_bufs()
480 	VERIFY(MUTEX_HELD(&vif->vif_mutex));  in vioif_alloc_bufs()
654 	VERIFY(vif->vif_has_ctrlq);  in vioif_ctrlq_req()
794 	VERIFY(MUTEX_HELD(&vif->vif_mutex));  in vioif_add_rx()
860 	VERIFY(MUTEX_HELD(&vif->vif_mutex));  in vioif_process_rx()
983 	VERIFY(MUTEX_NOT_HELD(&vif->vif_mutex));  in vioif_reclaim_used_tx()
1068 	VERIFY(MUTEX_HELD(&vif->vif_mutex));  in vioif_reclaim_restart()
1069 	VERIFY(!vif->vif_tx_drain);  in vioif_reclaim_restart()
1080 	VERIFY(MUTEX_HELD(&vif->vif_mutex));  in vioif_tx_drain()
1112 	VERIFY(!vif->vif_tx_corked);  in vioif_tx_drain()
1120 	VERIFY(MUTEX_NOT_HELD(&vif->vif_mutex));  in vioif_tx_inline()
1141 	VERIFY(MUTEX_NOT_HELD(&vif->vif_mutex));  in vioif_tx_external()
1230 	VERIFY(MUTEX_NOT_HELD(&vif->vif_mutex));  in vioif_send()
1768 	VERIFY(MUTEX_HELD(&vif->vif_mutex));  in vioif_get_mac()
1842 	VERIFY(MUTEX_HELD(&vif->vif_mutex));  in vioif_check_features()