3 int sys_kill(proc_ep
, signr
)
4 endpoint_t proc_ep
; /* which proc_ep has exited */
5 int signr
; /* signal number: 1 - 16 */
7 /* A proc_ep has to be signaled via PM. Tell the kernel. */
10 m
.SIG_ENDPT
= proc_ep
;
12 return(_kernel_call(SYS_KILL
, &m
));