Searched refs:stack_sbuf_print_ddb (Results 1 – 3 of 3) sorted by relevance
59 void stack_sbuf_print_ddb(struct sbuf *, const struct stack *);
211 stack_sbuf_print_ddb(struct sbuf *sb, const struct stack *st) in stack_sbuf_print_ddb() function
3127 stack_sbuf_print_ddb(&sb, &st); in witness_debugger()