Lines Matching refs:to_vertex
1510 edge->to_vertex = to_lock; in flk_add_edge()
1548 if (COLORED(ep->to_vertex)) in flk_add_edge()
1550 COLOR(ep->to_vertex); in flk_add_edge()
1551 if (SAME_OWNER(ep->to_vertex, from_lock)) in flk_add_edge()
1553 STACK_PUSH(vertex_stack, ep->to_vertex, l_stack); in flk_add_edge()
1973 if (IS_RECOMPUTE(ep->to_vertex)) in flk_cancel_sleeping_lock()
1975 ep->to_vertex->l_state |= RECOMPUTE_LOCK; in flk_cancel_sleeping_lock()
1976 STACK_PUSH(vertex_stack, ep->to_vertex, l_stack); in flk_cancel_sleeping_lock()
2278 lock = ep->to_vertex; in flk_color_reachables()
3109 adj_proc = flk_get_proc_vertex(ep->to_vertex); in flk_check_deadlock()
3192 adj_proc = flk_get_proc_vertex(ep->to_vertex); in flk_check_deadlock()
3399 toproc = flk_get_proc_vertex(ep->to_vertex); in flk_update_proc_graph()
4497 ASSERT(BLOCKS(ep->to_vertex, lock1)); in check_sleeping_locks()
4517 ASSERT(ep->to_vertex != lock2); in level_two_path()
4518 STACK_PUSH(vertex_stack, ep->to_vertex, l_dstack); in level_two_path()
4519 COLOR(ep->to_vertex); in level_two_path()
4527 if (COLORED(ep->to_vertex)) in level_two_path()
4529 COLOR(ep->to_vertex); in level_two_path()
4530 if (ep->to_vertex == lock2) in level_two_path()
4533 STACK_PUSH(vertex_stack, ep->to_vertex, l_dstack); in level_two_path()
4580 if (ep->to_vertex == lock2) in level_one_path()