include/valgrind/pub_tool_libcsignal.h

0001
0002 /*--------------------------------------------------------------------*/
0003 /*--- Signal-related libc stuff.             pub_tool_libcsignal.h ---*/
0004 /*--------------------------------------------------------------------*/
0005
0006 /*
0007    This file is part of Valgrind, a dynamic binary instrumentation
0008    framework.
0009
0010    Copyright (C) 2000-2017 Julian Seward
0011       jseward@acm.org
0012
0013    This program is free software; you can redistribute it and/or
0014    modify it under the terms of the GNU General Public License as
0015    published by the Free Software Foundation; either version 2 of the
0016    License, or (at your option) any later version.
0017
0018    This program is distributed in the hope that it will be useful, but
0019    WITHOUT ANY WARRANTY; without even the implied warranty of
0020    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
0021    General Public License for more details.
0022
0023    You should have received a copy of the GNU General Public License
0024    along with this program; if not, see <http://www.gnu.org/licenses/>.
0025
0026    The GNU General Public License is contained in the file COPYING.
0027 */
0028
0029 #ifndef __PUB_TOOL_LIBCBSIGNAL_H
0030 #define __PUB_TOOL_LIBCBSIGNAL_H
0031
0032 #include "pub_tool_basics.h"   // VG_ macro
0033 #include "pub_tool_vki.h"      // vki_sigset
0034
0035 /* Note that these use the vki_ (kernel) structure
0036    definitions, which are different in places from those that glibc
0037    defines.  Since we're operating right at the kernel interface, glibc's view
0038    of the world is entirely irrelevant. */
0039
0040 /* --- Signal set ops (only the ops used by tools) --- */
0041 extern Int  VG_(sigdelset)   ( vki_sigset_t* set, Int signum );
0042 /* Other Signal set ops are in pub_core_libcsignal.h and must be moved
0043    here if needed by tools. */
0044
0045 /* --- Mess with the kernel's sig state --- */
0046 extern Int VG_(sigprocmask) ( Int how, const vki_sigset_t* set,
0047                               vki_sigset_t* oldset );
0048
0049 #endif   // __PUB_TOOL_LIBCBSIGNAL_H
0050
0051 /*--------------------------------------------------------------------*/
0052 /*--- end                                                          ---*/
0053 /*--------------------------------------------------------------------*/