#include "pub_tool_signals.h" // I want to get rid of this header...
#include "pub_core_vki.h" // vki_sigset_t et al.
-#include "pub_tool_hashtable.h"
/* Highest signal the kernel will let us use */
extern Int VG_(max_signal);
before using that signal to kill the process. */
extern void VG_(set_default_handler)(Int sig);
-/* Hash table of PIDs from which SIGCHLD is ignored. */
-extern VgHashTable *ht_sigchld_ignore;
-
-/* Hash table node where each key represents a PID. */
-typedef struct _ht_ignore_node {
- struct _ht_ignore_node *next;
- UWord key;
-} ht_ignore_node;
-
#endif // __PUB_CORE_SIGNALS_H
/*--------------------------------------------------------------------*/
#define __PUB_TOOL_SIGNALS_H
#include "pub_tool_basics.h" // Addr
+#include "pub_tool_hashtable.h" // VgHashTable
// Register an interest in apparently internal faults; used code which
// wanders around dangerous memory (ie, leakcheck). The catcher is
typedef void (*fault_catcher_t)(Int sig, Addr addr);
extern fault_catcher_t VG_(set_fault_catcher)(fault_catcher_t catcher);
+/* Hash table of PIDs from which SIGCHLD is ignored. */
+extern VgHashTable *ht_sigchld_ignore;
+
+/* Hash table node where each key represents a PID. */
+typedef struct _ht_ignore_node {
+ struct _ht_ignore_node *next;
+ UWord key;
+} ht_ignore_node;
+
#endif // __PUB_TOOL_SIGNALS_H
/*--------------------------------------------------------------------*/