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