owner_graph
static void graph_check(struct owner_graph *g, int checkorder);
static int graph_delta_forward(struct owner_graph *g,
static int graph_delta_backward(struct owner_graph *g,
static int graph_assign_indices(struct owner_graph *g, int *indices,
static int graph_add_edge(struct owner_graph *g,
static void graph_remove_edge(struct owner_graph *g,
static struct owner_vertex *graph_alloc_vertex(struct owner_graph *g,
static void graph_free_vertex(struct owner_graph *g,
static struct owner_graph * graph_init(struct owner_graph *g);
graph_check(struct owner_graph *g, int checkorder)
graph_delta_forward(struct owner_graph *g, struct owner_vertex *x,
graph_delta_backward(struct owner_graph *g, struct owner_vertex *x,
graph_assign_indices(struct owner_graph *g, int *indices, int nextunused,
graph_add_edge(struct owner_graph *g, struct owner_vertex *x,
graph_remove_edge(struct owner_graph *g, struct owner_vertex *x,
graph_alloc_vertex(struct owner_graph *g, struct lock_owner *lo)
graph_free_vertex(struct owner_graph *g, struct owner_vertex *v)
static struct owner_graph *
graph_init(struct owner_graph *g)
static struct owner_graph lf_owner_graph;
struct owner_graph *g = &lf_owner_graph;
struct owner_graph *g = &lf_owner_graph;
struct owner_graph *g = &lf_owner_graph;
struct owner_graph;