1488 	lock_descriptor_t *vertex_stack;  in flk_add_edge()  local
1490 	STACK_INIT(vertex_stack);  in flk_add_edge()
1537 	STACK_PUSH(vertex_stack, from_lock, l_stack);  in flk_add_edge()
1539 	while ((vertex = STACK_TOP(vertex_stack)) != NULL) {  in flk_add_edge()
1541 		STACK_POP(vertex_stack, l_stack);  in flk_add_edge()
1551 			STACK_PUSH(vertex_stack, ep->to_vertex, l_stack);  in flk_add_edge()
1955 	lock_descriptor_t *vertex_stack;  in flk_cancel_sleeping_lock()  local
1957 	STACK_INIT(vertex_stack);  in flk_cancel_sleeping_lock()
1965 	STACK_PUSH(vertex_stack, request, l_stack);  in flk_cancel_sleeping_lock()
1967 	while ((vertex = STACK_TOP(vertex_stack)) != NULL) {  in flk_cancel_sleeping_lock()
1968 		STACK_POP(vertex_stack, l_stack);  in flk_cancel_sleeping_lock()
1974 			STACK_PUSH(vertex_stack, ep->to_vertex, l_stack);  in flk_cancel_sleeping_lock()
2173 	lock_descriptor_t *vertex_stack;  in flk_recompute_dependencies()  local
2175 	STACK_INIT(vertex_stack);  in flk_recompute_dependencies()
2184 	STACK_PUSH(vertex_stack, request, l_stack);  in flk_recompute_dependencies()
2188 	while ((vertex = STACK_TOP(vertex_stack)) != NULL) {  in flk_recompute_dependencies()
2198 				STACK_POP(vertex_stack, l_stack);  in flk_recompute_dependencies()
2231 			STACK_POP(vertex_stack, l_stack);  in flk_recompute_dependencies()
2243 		STACK_PUSH(vertex_stack, lock, l_stack);  in flk_recompute_dependencies()
2265 	lock_descriptor_t *vertex_stack;  in flk_color_reachables()  local
2267 	STACK_INIT(vertex_stack);  in flk_color_reachables()
2269 	STACK_PUSH(vertex_stack, vertex, l_stack1);  in flk_color_reachables()
2271 	while ((ver = STACK_TOP(vertex_stack)) != NULL) {  in flk_color_reachables()
2273 		STACK_POP(vertex_stack, l_stack1);  in flk_color_reachables()
2282 			STACK_PUSH(vertex_stack, lock, l_stack1);  in flk_color_reachables()
2299 	lock_descriptor_t *vertex_stack;  in flk_update_barriers()  local
2301 	STACK_INIT(vertex_stack);  in flk_update_barriers()
2303 	STACK_PUSH(vertex_stack, lock, l_stack1);  in flk_update_barriers()
2305 	while ((vertex = STACK_TOP(vertex_stack)) != NULL) {  in flk_update_barriers()
2306 		STACK_POP(vertex_stack, l_stack1);  in flk_update_barriers()
2326 			STACK_PUSH(vertex_stack, lck, l_stack1);  in flk_update_barriers()
2344 	lock_descriptor_t *vertex_stack;  in flk_find_barriers()  local
2346 	STACK_INIT(vertex_stack);  in flk_find_barriers()
2348 	STACK_PUSH(vertex_stack, lock, l_stack1);  in flk_find_barriers()
2350 	while ((vertex = STACK_TOP(vertex_stack)) != NULL) {  in flk_find_barriers()
2351 		STACK_POP(vertex_stack, l_stack1);  in flk_find_barriers()
2366 			STACK_PUSH(vertex_stack, lck, l_stack1);  in flk_find_barriers()
4504 	lock_descriptor_t *vertex_stack;  in level_two_path()  local
4506 	STACK_INIT(vertex_stack);  in level_two_path()
4514 		STACK_PUSH(vertex_stack, ep->to_vertex, l_dstack);  in level_two_path()
4519 	while ((vertex = STACK_TOP(vertex_stack)) != NULL) {  in level_two_path()
4520 		STACK_POP(vertex_stack, l_dstack);  in level_two_path()
4529 			STACK_PUSH(vertex_stack, ep->to_vertex, l_dstack);  in level_two_path()