db_show_panic_cmd  434 ddb/db_command.c 	{ "panic",	db_show_panic_cmd,	0,	NULL },
db_show_panic_cmd   65 ddb/db_command.h void db_show_panic_cmd(db_expr_t, int, db_expr_t, char *);