flk_get_proc_vertex
static proc_vertex_t *flk_get_proc_vertex(lock_descriptor_t *);
start_vertex = flk_get_proc_vertex(lock);
adj_proc = flk_get_proc_vertex(ep->to_vertex);
in_proc = flk_get_proc_vertex(ep->from_vertex);
adj_proc = flk_get_proc_vertex(ep->to_vertex);
in_proc = flk_get_proc_vertex(ep->from_vertex);
toproc = flk_get_proc_vertex(ep->to_vertex);
fromproc = flk_get_proc_vertex(ep->from_vertex);