| 145 | |
| 146 | #if defined(DDB) || defined(WITNESS) |
| 147 | void |
| 148 | stack_print_short_ddb(const struct stack *st) |
| 149 | { |
| 150 | const char *name; |
| 151 | long offset; |
| 152 | int i; |
| 153 | |
| 154 | KASSERT(st->depth <= STACK_MAX, ("bogus stack")); |
| 155 | for (i = 0; i < st->depth; i++) { |
| 156 | if (i > 0) |
| 157 | printf(" "); |
| 158 | if (stack_symbol_ddb(st->pcs[i], &name, &offset) == 0) |
| 159 | printf("%s+%#lx", name, offset); |
| 160 | else |
| 161 | printf("%p", (void *)st->pcs[i]); |
| 162 | } |
| 163 | printf("\n"); |
| 164 | } |
| 165 | #endif |
| 166 | |
| 167 | /* |
nothing calls this directly
no test coverage detected