2005-04-21 16:53:53 +02:00
|
|
|
#include "syslib.h"
|
|
|
|
|
|
|
|
/*===========================================================================*
|
2005-07-14 17:13:33 +02:00
|
|
|
* sys_exit *
|
2005-04-21 16:53:53 +02:00
|
|
|
*===========================================================================*/
|
2009-09-22 23:42:02 +02:00
|
|
|
PUBLIC int sys_exit(proc_ep)
|
|
|
|
endpoint_t proc_ep; /* which process has exited */
|
2005-04-21 16:53:53 +02:00
|
|
|
{
|
2005-06-24 18:19:41 +02:00
|
|
|
/* A process has exited. PM tells the kernel. In addition this call can be
|
|
|
|
* used by system processes to directly exit without passing through the
|
|
|
|
* PM. This should be used with care to prevent inconsistent PM tables.
|
|
|
|
*/
|
2005-04-21 16:53:53 +02:00
|
|
|
message m;
|
|
|
|
|
2009-09-22 23:42:02 +02:00
|
|
|
m.PR_ENDPT = proc_ep;
|
2010-02-09 16:20:09 +01:00
|
|
|
return(_kernel_call(SYS_EXIT, &m));
|
2005-04-21 16:53:53 +02:00
|
|
|
}
|