0b44a031
c8ea9857 ^
c2cd25bf ^
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); }