| 129 | } |
| 130 | |
| 131 | void |
| 132 | stack_print_ddb(const struct stack *st) |
| 133 | { |
| 134 | const char *name; |
| 135 | long offset; |
| 136 | int i; |
| 137 | |
| 138 | KASSERT(st->depth <= STACK_MAX, ("bogus stack")); |
| 139 | for (i = 0; i < st->depth; i++) { |
| 140 | stack_symbol_ddb(st->pcs[i], &name, &offset); |
| 141 | printf("#%d %p at %s+%#lx\n", i, (void *)st->pcs[i], |
| 142 | name, offset); |
| 143 | } |
| 144 | } |
| 145 | |
| 146 | #if defined(DDB) || defined(WITNESS) |
| 147 | void |
no test coverage detected