1 
2 /*--------------------------------------------------------------------*/
3 /*--- Dumping core.                            pub_core_coredump.h ---*/
4 /*--------------------------------------------------------------------*/
5 
6 /*
7    This file is part of Valgrind, a dynamic binary instrumentation
8    framework.
9 
10    Copyright (C) 2000-2017 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_CORE_COREDUMP_H
32 #define __PUB_CORE_COREDUMP_H
33 
34 #include "pub_core_basics.h"      // ThreadId
35 #include "pub_core_vki.h"         // vki_siginfo_t
36 
37 //--------------------------------------------------------------------
38 // PURPOSE: This module produces a core dump when asked.
39 //--------------------------------------------------------------------
40 
41 extern void VG_(make_coredump) ( ThreadId tid, const vki_siginfo_t *si,
42                                  ULong max_size );
43 
44 #endif   // __PUB_CORE_COREDUMP_H
45 
46 /*--------------------------------------------------------------------*/
47 /*--- end                                                          ---*/
48 /*--------------------------------------------------------------------*/
49