Symbol: db_proc_print_cmd
sys/ddb/db_command.c
636
{ "proc", db_proc_print_cmd, 0, NULL },
sys/ddb/db_command.c
99
void db_proc_print_cmd(db_expr_t, int, db_expr_t, char *);