1 2 3 4 5 6 7 8
#include <stdlib.h> #include "syscall.h" _Noreturn void _Exit(int ec) { __syscall(SYS_exit_group, ec); __syscall(SYS_exit, ec); }