db_show_regs
void db_show_regs(db_expr_t, int, db_expr_t, char *);
{ "registers", db_show_regs, 0, NULL },