diff options
Diffstat (limited to 'include')
-rw-r--r-- | include/os.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/include/os.h b/include/os.h index c8e0f52..e850f87 100644 --- a/include/os.h +++ b/include/os.h @@ -351,4 +351,8 @@ int os_setjmp(ulong *jmp, int size); */ void os_longjmp(ulong *jmp, int ret); +/** + * os_abort() - Raise SIGABRT to exit sandbox (e.g. to debugger) + */ +void os_abort(void); #endif |