1 /*
2 * io-exit.c --
3 *
4 * Copyright (c) 2006 CodeSourcery Inc
5 *
6 * The authors hereby grant permission to use, copy, modify, distribute,
7 * and license this software and its documentation for any purpose, provided
8 * that existing copyright notices are retained in all copies and that this
9 * notice is included verbatim in any distributions. No written agreement,
10 * license, or royalty fee is required for any of the authorized uses.
11 * Modifications to this software may be copyrighted by their authors
12 * and need not follow the licensing terms described here, provided that
13 * the new terms are clearly indicated on the first page of each file where
14 * they apply.
15 */
16
17 #if HOSTED
18 #include "io.h"
19
20 /*
21 * _exit -- Exit from the application.
22 */
23
_exit(int code)24 void __attribute__ ((noreturn)) _exit (int code)
25 {
26 while (1)
27 __hosted (HOSTED_EXIT, (void *)code);
28 }
29 #endif
30