db_kgdb_cmd
{ DDB_ADD_CMD("kgdb", db_kgdb_cmd, 0, NULL,NULL,NULL) },
void db_kgdb_cmd(db_expr_t, bool, db_expr_t, const char *);