diff options
-rw-r--r-- | benchmarks/common/syscalls.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/benchmarks/common/syscalls.c b/benchmarks/common/syscalls.c index 4940aa2..0a7d6b7 100644 --- a/benchmarks/common/syscalls.c +++ b/benchmarks/common/syscalls.c @@ -5,6 +5,7 @@ #include <stdarg.h> #include <stdio.h> #include <limits.h> +#include <sys/signal.h> #include "util.h" #define SYS_write 64 @@ -68,6 +69,11 @@ void exit(int code) tohost_exit(code); } +void abort() +{ + exit(128 + SIGABRT); +} + void printstr(const char* s) { syscall(SYS_write, 1, (uintptr_t)s, strlen(s)); |