367 		KASSERT(LIST_EMPTY(&lock->lf_outedges),  in lf_free_lock()
369 		KASSERT(LIST_EMPTY(&lock->lf_inedges),  in lf_free_lock()
713 		KASSERT(!LIST_EMPTY(&lock->lf_outedges),  in lf_advlockasync()
771 	if (LIST_EMPTY(&state->ls_active) && state->ls_threads == 0) {  in lf_purgelocks()
772 		KASSERT(LIST_EMPTY(&state->ls_pending),  in lf_purgelocks()
818 	KASSERT(LIST_EMPTY(&state->ls_pending),  in lf_purgelocks()
1047 	if (LIST_EMPTY(&state->ls_pending))  in lf_add_incoming()
1085 	if (LIST_EMPTY(&state->ls_active)) {  in lf_insert_lock()
1147 			if (LIST_EMPTY(&deplock->lf_outedges)) {  in lf_update_dependancies()
1210 	while (!LIST_EMPTY(&granted)) {  in lf_activate_lock()
1354 	while (!LIST_EMPTY(&granted)) {  in lf_cancel_lock()
1491 		if (LIST_EMPTY(&lock->lf_outedges)) {  in lf_setlock()
2430 	KASSERT(LIST_EMPTY(&v->v_outedges), ("Freeing vertex with edges"));  in graph_free_vertex()
2431 	KASSERT(LIST_EMPTY(&v->v_inedges), ("Freeing vertex with edges"));  in graph_free_vertex()
2629 	if (!LIST_EMPTY(&lock->lf_outedges))  in lf_print()
2661 			if (!LIST_EMPTY(&blk->lf_inedges))  in lf_printlist()