db_show_regs      437 ddb/db_command.c 	{ "registers",	db_show_regs,		0,	NULL },
db_show_regs       67 ddb/db_extern.h void db_show_regs(db_expr_t, boolean_t, db_expr_t, char *);