db_show_regs
db_show_regs(NULL, 0, 0, NULL);
{ DDB_ADD_CMD("registers", db_show_regs, 0,
void db_show_regs(db_expr_t, bool, db_expr_t, const char *);