db_mach_reset_cmd
{ DDB_ADD_CMD("reset", db_mach_reset_cmd, CS_NOREPEAT,
static void db_mach_reset_cmd(db_expr_t, bool, db_expr_t, const char *);