. pci driver now returns devices, even when they have been pci_reserve()d
[minix3.git] / lib / syslib / sys_sigsend.c
blobfcae8810f3a0b37c5516f92ca025957ce8c64ff7
1 #include "syslib.h"
3 /*===========================================================================*
4 * sys_sigsend *
5 *===========================================================================*/
6 PUBLIC int sys_sigsend(proc_nr, sig_ctxt)
7 int proc_nr; /* for which process */
8 struct sigmsg *sig_ctxt; /* POSIX style handling */
10 message m;
11 int result;
13 m.SIG_ENDPT = proc_nr;
14 m.SIG_CTXT_PTR = (char *) sig_ctxt;
15 result = _taskcall(SYSTASK, SYS_SIGSEND, &m);
16 return(result);