verbose_tracker
init_verbose_tracker(struct verbose_tracker *t, struct sbuf *sb,
reset_verbose_tracker(struct verbose_tracker *t, int generation)
has_verbose_lockpair(const struct verbose_tracker *t, int from, int to)
add_verbose_lockpair(struct verbose_tracker *t, int from, int to)
sbuf_print_verbose_witness_chains(struct verbose_tracker *t, int from, int to)
sbuf_print_verbose_witness_stacks(struct verbose_tracker *t)
struct verbose_tracker *t;
(t = malloc(sizeof(struct verbose_tracker),
struct verbose_tracker *t;
t = malloc(sizeof(struct verbose_tracker), M_TEMP, M_WAITOK | M_ZERO);