diff options
Diffstat (limited to 'runtime/user/runtime.h')
| -rw-r--r-- | runtime/user/runtime.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/runtime/user/runtime.h b/runtime/user/runtime.h index 9d098fc7..1d6d5307 100644 --- a/runtime/user/runtime.h +++ b/runtime/user/runtime.h @@ -24,6 +24,7 @@ #include <linux/kallsyms.h> #include <linux/percpu.h> + #ifdef DEBUG #define dbug(args...) \ { \ @@ -39,6 +40,8 @@ #undef memcpy #define memcpy __builtin_memcpy +void exit(int status); + #define NEED_STAT_LOCKS 0 #define NEED_COUNTER_LOCKS 0 |