. pci driver now returns devices, even when they have been pci_reserve()d
[minix3.git] / lib / syslib / sys_getsig.c
blob828e118e4ef72c441eb5aeec2cec64fc6c2ca9e1
1 #include "syslib.h"
3 /*===========================================================================*
4 * sys_getksig *
5 *===========================================================================*/
6 PUBLIC int sys_getksig(k_proc_nr, k_sig_map)
7 int *k_proc_nr; /* return process number here */
8 sigset_t *k_sig_map; /* return signal map here */
10 message m;
11 int result;
13 result = _taskcall(SYSTASK, SYS_GETKSIG, &m);
14 *k_proc_nr = m.SIG_ENDPT;
15 *k_sig_map = (sigset_t) m.SIG_MAP;
16 return(result);