1 #include <stdlib.h>
2 #include <trusty_syscalls.h>
3 
_Exit(int ec)4 _Noreturn void _Exit(int ec)
5 {
6 	for (;;) _trusty_exit_etc(ec, 0);
7 }
8