Symbol: db_witness_display
sys/ddb/db_command.c
121
void db_witness_display(db_expr_t, int, db_expr_t, char *);
sys/ddb/db_command.c
649
{ "witness", db_witness_display, 0, NULL },