1487 	lock_descriptor_t	*vertex;  in flk_add_edge()  local
1539 	while ((vertex = STACK_TOP(vertex_stack)) != NULL) {  in flk_add_edge()
1543 		for (ep = FIRST_ADJ(vertex);  in flk_add_edge()
1544 		    ep != HEAD(vertex);  in flk_add_edge()
1952 	lock_descriptor_t *vertex, *lock;  in flk_cancel_sleeping_lock()  local
1967 	while ((vertex = STACK_TOP(vertex_stack)) != NULL) {  in flk_cancel_sleeping_lock()
1969 		for (ep = FIRST_ADJ(vertex); ep != HEAD(vertex);  in flk_cancel_sleeping_lock()
2168 	lock_descriptor_t *vertex, *lock;  in flk_recompute_dependencies()  local
2188 	while ((vertex = STACK_TOP(vertex_stack)) != NULL) {  in flk_recompute_dependencies()
2189 		if (vertex->l_state & RECOMPUTE_DONE) {  in flk_recompute_dependencies()
2193 		if (IS_BARRIER(vertex)) {  in flk_recompute_dependencies()
2195 			if (vertex->l_index) {  in flk_recompute_dependencies()
2196 				vertex->l_index--;  in flk_recompute_dependencies()
2199 				if (vertex->l_index == 0)  {  in flk_recompute_dependencies()
2205 					vertex->l_state &= ~BARRIER_LOCK;  in flk_recompute_dependencies()
2210 		vertex->l_state |= RECOMPUTE_DONE;  in flk_recompute_dependencies()
2212 		count = flk_color_reachables(vertex);  in flk_recompute_dependencies()
2217 			if (BLOCKS(lock, vertex)) {  in flk_recompute_dependencies()
2218 				(void) flk_add_edge(vertex, lock,  in flk_recompute_dependencies()
2229 		    vertex->l_sedge == HEAD(vertex)) {  in flk_recompute_dependencies()
2232 			vertex->l_state &= ~RECOMPUTE_DONE;  in flk_recompute_dependencies()
2234 			if (vertex->l_sedge != HEAD(vertex) && barrier_found) {  in flk_recompute_dependencies()
2236 				flk_update_barriers(vertex);  in flk_recompute_dependencies()
2241 		ep = vertex->l_sedge;  in flk_recompute_dependencies()
2245 		vertex->l_sedge = NEXT_IN(ep);  in flk_recompute_dependencies()
2260 flk_color_reachables(lock_descriptor_t *vertex)  in flk_color_reachables()  argument
2269 	STACK_PUSH(vertex_stack, vertex, l_stack1);  in flk_color_reachables()
2297 	lock_descriptor_t *vertex, *lck;  in flk_update_barriers()  local
2305 	while ((vertex = STACK_TOP(vertex_stack)) != NULL) {  in flk_update_barriers()
2307 		for (ep = FIRST_IN(vertex); ep != HEAD(vertex);  in flk_update_barriers()
2341 	lock_descriptor_t *vertex, *lck;  in flk_find_barriers()  local
2350 	while ((vertex = STACK_TOP(vertex_stack)) != NULL) {  in flk_find_barriers()
2352 		for (ep = FIRST_IN(vertex); ep != HEAD(vertex);  in flk_find_barriers()
4503 	lock_descriptor_t	*vertex;  in level_two_path()  local
4519 	while ((vertex = STACK_TOP(vertex_stack)) != NULL) {  in level_two_path()
4521 		for (ep = FIRST_ADJ(vertex); ep != HEAD(vertex);  in level_two_path()