2007-01-03 17:55:25 +01:00
|
|
|
#include <_ansi.h>
|
2018-11-16 12:45:48 +01:00
|
|
|
#include "swi.h"
|
2007-01-03 17:55:25 +01:00
|
|
|
|
2018-11-16 12:45:48 +01:00
|
|
|
int _kill_shared (int, int, int) __attribute__((__noreturn__));
|
2017-12-04 03:41:16 +01:00
|
|
|
void _exit (int);
|
2007-01-03 17:55:25 +01:00
|
|
|
|
|
|
|
void
|
|
|
|
_exit (int status)
|
|
|
|
{
|
2018-11-16 12:45:48 +01:00
|
|
|
/* The same SWI is used for both _exit and _kill.
|
|
|
|
For _exit, call the SWI with "reason" set to ADP_Stopped_ApplicationExit
|
|
|
|
to mark a standard exit.
|
|
|
|
Note: The RDI implementation of _kill_shared throws away all its
|
|
|
|
arguments and all implementations ignore the first argument. */
|
|
|
|
_kill_shared (-1, status, ADP_Stopped_ApplicationExit);
|
2007-01-03 17:55:25 +01:00
|
|
|
}
|