Lines Matching refs:VERIFY

162 	VERIFY(!list_link_active(&vnr->vnr_link_complete));  in vio9p_req_freelist_put()
163 	VERIFY(!list_link_active(&vnr->vnr_link_free));  in vio9p_req_freelist_put()
179 	VERIFY(MUTEX_HELD(&vin->vin_mutex));  in vio9p_req_free()
204 	VERIFY(!list_link_active(&vnr->vnr_link_complete));  in vio9p_req_free_impl()
205 	VERIFY(!list_link_active(&vnr->vnr_link_free));  in vio9p_req_free_impl()
223 	VERIFY(MUTEX_HELD(&vin->vin_mutex));  in vio9p_req_alloc()
343 	VERIFY(MUTEX_HELD(&vin->vin_mutex));  in vio9p_poll()
481 		VERIFY(MUTEX_NOT_HELD(&vin->vin_mutex));  in vio9p_teardown()
504 	VERIFY(list_is_empty(&vin->vin_req_freelist));  in vio9p_teardown()
512 	VERIFY(list_is_empty(&vin->vin_reqs));  in vio9p_teardown()
515 	VERIFY(list_is_empty(&vin->vin_completes));  in vio9p_teardown()
551 	VERIFY(!vin->vin_open);  in vio9p_detach()