31 lines
909 B
C
31 lines
909 B
C
|
/*
|
||
|
|
* io-exit.c --
|
||
|
|
*
|
||
|
|
* Copyright (c) 2006 CodeSourcery Inc
|
||
|
|
* Copyright (c) 2018 Mentor Graphics
|
||
|
|
*
|
||
|
|
* 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)
|
||
|
|
__io_hosted (HOSTED_EXIT, (void *)code);
|
||
|
|
}
|
||
|
|
#endif
|