db_prom_cmd
void db_prom_cmd(db_expr_t, bool, db_expr_t, const char *);
{ DDB_ADD_CMD("prom", db_prom_cmd, 0,
void db_prom_cmd(db_expr_t, bool, db_expr_t, const char *);
{ DDB_ADD_CMD("prom", db_prom_cmd, 0,