| 1101 | } |
| 1102 | |
| 1103 | static void |
| 1104 | print_queue(struct threadqueue *queue, const char *header, const char *prefix) |
| 1105 | { |
| 1106 | struct thread *td; |
| 1107 | |
| 1108 | db_printf("%s:\n", header); |
| 1109 | if (TAILQ_EMPTY(queue)) { |
| 1110 | db_printf("%sempty\n", prefix); |
| 1111 | return; |
| 1112 | } |
| 1113 | TAILQ_FOREACH(td, queue, td_lockq) { |
| 1114 | print_thread(td, prefix); |
| 1115 | } |
| 1116 | } |
| 1117 | |
| 1118 | DB_SHOW_COMMAND(turnstile, db_show_turnstile) |
| 1119 | { |
no test coverage detected