1 #include <stdlib.h>
2 #include "atomic.h"
3 
4 #include <trusty_syscalls.h>
5 
abort(void)6 _Noreturn void abort(void)
7 {
8 	_trusty_exit_etc(127, 0);
9 
10 	/* Beyond this point should be unreachable. */
11 	a_crash();
12 	_Exit(127);
13 }
14