1 
2 /*--------------------------------------------------------------------*/
3 /*--- Signal-related libc stuff.             pub_tool_libcsignal.h ---*/
4 /*--------------------------------------------------------------------*/
5 
6 /*
7    This file is part of Valgrind, a dynamic binary instrumentation
8    framework.
9 
10    Copyright (C) 2000-2015 Julian Seward
11       jseward@acm.org
12 
13    This program is free software; you can redistribute it and/or
14    modify it under the terms of the GNU General Public License as
15    published by the Free Software Foundation; either version 2 of the
16    License, or (at your option) any later version.
17 
18    This program is distributed in the hope that it will be useful, but
19    WITHOUT ANY WARRANTY; without even the implied warranty of
20    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
21    General Public License for more details.
22 
23    You should have received a copy of the GNU General Public License
24    along with this program; if not, write to the Free Software
25    Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
26    02111-1307, USA.
27 
28    The GNU General Public License is contained in the file COPYING.
29 */
30 
31 #ifndef __PUB_TOOL_LIBCBSIGNAL_H
32 #define __PUB_TOOL_LIBCBSIGNAL_H
33 
34 #include "pub_tool_basics.h"   // VG_ macro
35 #include "pub_tool_vki.h"      // vki_sigset
36 
37 /* Note that these use the vki_ (kernel) structure
38    definitions, which are different in places from those that glibc
39    defines.  Since we're operating right at the kernel interface, glibc's view
40    of the world is entirely irrelevant. */
41 
42 /* --- Signal set ops (only the ops used by tools) --- */
43 extern Int  VG_(sigdelset)   ( vki_sigset_t* set, Int signum );
44 /* Other Signal set ops are in pub_core_libcsignal.h and must be moved
45    here if needed by tools. */
46 
47 /* --- Mess with the kernel's sig state --- */
48 extern Int VG_(sigprocmask) ( Int how, const vki_sigset_t* set,
49                               vki_sigset_t* oldset );
50 
51 #endif   // __PUB_TOOL_LIBCBSIGNAL_H
52 
53 /*--------------------------------------------------------------------*/
54 /*--- end                                                          ---*/
55 /*--------------------------------------------------------------------*/
56