| /* |
| * io-exit.c -- |
| * |
| * Copyright (c) 2006 CodeSourcery Inc |
| * |
| * The authors hereby grant permission to use, copy, modify, distribute, |
| * and license this software and its documentation for any purpose, provided |
| * that existing copyright notices are retained in all copies and that this |
| * notice is included verbatim in any distributions. No written agreement, |
| * license, or royalty fee is required for any of the authorized uses. |
| * Modifications to this software may be copyrighted by their authors |
| * and need not follow the licensing terms described here, provided that |
| * the new terms are clearly indicated on the first page of each file where |
| * they apply. |
| */ |
| |
| #if HOSTED |
| #include "io.h" |
| |
| /* |
| * _exit -- Exit from the application. |
| */ |
| |
| void __attribute__ ((noreturn)) _exit (int code) |
| { |
| while (1) |
| __hosted (HOSTED_EXIT, (void *)code); |
| } |
| #endif |