2005-04-21 16:53:53 +02:00
|
|
|
#include "syslib.h"
|
|
|
|
|
2009-09-22 23:42:02 +02:00
|
|
|
PUBLIC int sys_kill(proc_ep, signr)
|
|
|
|
endpoint_t proc_ep; /* which proc_ep has exited */
|
2005-04-21 16:53:53 +02:00
|
|
|
int signr; /* signal number: 1 - 16 */
|
|
|
|
{
|
2010-06-10 16:04:46 +02:00
|
|
|
/* A proc_ep has to be signaled via PM. Tell the kernel. */
|
2005-04-21 16:53:53 +02:00
|
|
|
message m;
|
|
|
|
|
2009-09-22 23:42:02 +02:00
|
|
|
m.SIG_ENDPT = proc_ep;
|
2005-04-21 16:53:53 +02:00
|
|
|
m.SIG_NUMBER = signr;
|
2010-02-09 16:20:09 +01:00
|
|
|
return(_kernel_call(SYS_KILL, &m));
|
2005-04-21 16:53:53 +02:00
|
|
|
}
|
|
|
|
|