db_mach_abort
static void db_mach_abort (db_expr_t, bool, db_expr_t, const char *);
{ DDB_ADD_CMD("abort", db_mach_abort, 0,
static void db_mach_abort (db_expr_t, bool, db_expr_t, const char *);
{ DDB_ADD_CMD("abort", db_mach_abort, 0,