db_sysregs_cmd
{ "sysregs", db_sysregs_cmd, 0, 0 },
void db_sysregs_cmd(db_expr_t, int, db_expr_t, char *);