1 
2 #include <stdint.h>
3 #include <stdlib.h>
4 
5 #include <sys/cdefs.h>
6 #include <syscall.h>
7 
8 NO_RETURN void
abort()9 abort()
10 {
11     OSExit(-1);
12 
13     UNREACHABLE();
14 }
15 
16