1195 	lock_descriptor_t *vertex_stack;  in flk_add_edge()  local
1197 	STACK_INIT(vertex_stack);  in flk_add_edge()
1244 	STACK_PUSH(vertex_stack, from_lock, l_stack);  in flk_add_edge()
1246 	while ((vertex = STACK_TOP(vertex_stack)) != NULL) {  in flk_add_edge()
1248 		STACK_POP(vertex_stack, l_stack);  in flk_add_edge()
1258 			STACK_PUSH(vertex_stack, ep->to_vertex, l_stack);  in flk_add_edge()
1662 	lock_descriptor_t *vertex_stack;  in flk_cancel_sleeping_lock()  local
1664 	STACK_INIT(vertex_stack);  in flk_cancel_sleeping_lock()
1672 	STACK_PUSH(vertex_stack, request, l_stack);  in flk_cancel_sleeping_lock()
1674 	while ((vertex = STACK_TOP(vertex_stack)) != NULL) {  in flk_cancel_sleeping_lock()
1675 		STACK_POP(vertex_stack, l_stack);  in flk_cancel_sleeping_lock()
1681 			STACK_PUSH(vertex_stack, ep->to_vertex, l_stack);  in flk_cancel_sleeping_lock()
1880 	lock_descriptor_t *vertex_stack;  in flk_recompute_dependencies()  local
1882 	STACK_INIT(vertex_stack);  in flk_recompute_dependencies()
1891 	STACK_PUSH(vertex_stack, request, l_stack);  in flk_recompute_dependencies()
1895 	while ((vertex = STACK_TOP(vertex_stack)) != NULL) {  in flk_recompute_dependencies()
1905 				STACK_POP(vertex_stack, l_stack);  in flk_recompute_dependencies()
1938 			STACK_POP(vertex_stack, l_stack);  in flk_recompute_dependencies()
1950 		STACK_PUSH(vertex_stack, lock, l_stack);  in flk_recompute_dependencies()
1972 	lock_descriptor_t *vertex_stack;  in flk_color_reachables()  local
1974 	STACK_INIT(vertex_stack);  in flk_color_reachables()
1976 	STACK_PUSH(vertex_stack, vertex, l_stack1);  in flk_color_reachables()
1978 	while ((ver = STACK_TOP(vertex_stack)) != NULL) {  in flk_color_reachables()
1980 		STACK_POP(vertex_stack, l_stack1);  in flk_color_reachables()
1989 			STACK_PUSH(vertex_stack, lock, l_stack1);  in flk_color_reachables()
2006 	lock_descriptor_t *vertex_stack;  in flk_update_barriers()  local
2008 	STACK_INIT(vertex_stack);  in flk_update_barriers()
2010 	STACK_PUSH(vertex_stack, lock, l_stack1);  in flk_update_barriers()
2012 	while ((vertex = STACK_TOP(vertex_stack)) != NULL) {  in flk_update_barriers()
2013 		STACK_POP(vertex_stack, l_stack1);  in flk_update_barriers()
2033 			STACK_PUSH(vertex_stack, lck, l_stack1);  in flk_update_barriers()
2051 	lock_descriptor_t *vertex_stack;  in flk_find_barriers()  local
2053 	STACK_INIT(vertex_stack);  in flk_find_barriers()
2055 	STACK_PUSH(vertex_stack, lock, l_stack1);  in flk_find_barriers()
2057 	while ((vertex = STACK_TOP(vertex_stack)) != NULL) {  in flk_find_barriers()
2058 		STACK_POP(vertex_stack, l_stack1);  in flk_find_barriers()
2073 			STACK_PUSH(vertex_stack, lck, l_stack1);  in flk_find_barriers()
4190 	lock_descriptor_t *vertex_stack;  in level_two_path()  local
4192 	STACK_INIT(vertex_stack);  in level_two_path()
4200 		STACK_PUSH(vertex_stack, ep->to_vertex, l_dstack);  in level_two_path()
4205 	while ((vertex = STACK_TOP(vertex_stack)) != NULL) {  in level_two_path()
4206 		STACK_POP(vertex_stack, l_dstack);  in level_two_path()
4215 			STACK_PUSH(vertex_stack, ep->to_vertex, l_dstack);  in level_two_path()