159 	VERIFY(MUTEX_HELD(&vib->vib_mutex));  in vioblk_req_alloc()
179 	VERIFY(MUTEX_HELD(&vib->vib_mutex));  in vioblk_req_free()
202 	VERIFY(MUTEX_HELD(&vib->vib_mutex));  in vioblk_complete()
215 		mutex_exit(&vib->vib_mutex);  in vioblk_complete()
217 		mutex_enter(&vib->vib_mutex);  in vioblk_complete()
269 	VERIFY(MUTEX_HELD(&vib->vib_mutex));  in vioblk_common_submit()
313 		cv_wait(&vib->vib_cv, &vib->vib_mutex);  in vioblk_common_submit()
328 	VERIFY(MUTEX_HELD(&vib->vib_mutex));  in vioblk_internal()
404 	VERIFY(MUTEX_HELD(&vib->vib_mutex));  in vioblk_request()
479 	mutex_enter(&vib->vib_mutex);  in vioblk_bd_read()
481 	mutex_exit(&vib->vib_mutex);  in vioblk_bd_read()
492 	mutex_enter(&vib->vib_mutex);  in vioblk_bd_write()
494 	mutex_exit(&vib->vib_mutex);  in vioblk_bd_write()
505 	mutex_enter(&vib->vib_mutex);  in vioblk_bd_flush()
512 		mutex_exit(&vib->vib_mutex);  in vioblk_bd_flush()
517 	mutex_exit(&vib->vib_mutex);  in vioblk_bd_flush()
594 	mutex_enter(&vib->vib_mutex);  in vioblk_get_id()
628 	mutex_exit(&vib->vib_mutex);  in vioblk_get_id()
664 	mutex_enter(&vib->vib_mutex);  in vioblk_bd_free_space()
666 	mutex_exit(&vib->vib_mutex);  in vioblk_bd_free_space()
684 	VERIFY(MUTEX_HELD(&vib->vib_mutex));  in vioblk_poll()
748 	mutex_enter(&vib->vib_mutex);  in vioblk_int_handler()
755 	mutex_exit(&vib->vib_mutex);  in vioblk_int_handler()
767 	mutex_enter(&vib->vib_mutex);  in vioblk_cfgchange()
776 		mutex_exit(&vib->vib_mutex);  in vioblk_cfgchange()
780 	mutex_exit(&vib->vib_mutex);  in vioblk_cfgchange()
990 	mutex_init(&vib->vib_mutex, NULL, MUTEX_DRIVER, virtio_intr_pri(vio));  in vioblk_attach()
1111 		mutex_destroy(&vib->vib_mutex);  in vioblk_attach()
1131 	mutex_enter(&vib->vib_mutex);  in vioblk_detach()
1136 		mutex_exit(&vib->vib_mutex);  in vioblk_detach()
1141 		mutex_exit(&vib->vib_mutex);  in vioblk_detach()
1155 	mutex_exit(&vib->vib_mutex);  in vioblk_detach()
1156 	mutex_destroy(&vib->vib_mutex);  in vioblk_detach()