diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2015-10-22 22:17:11 +0200 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2015-11-23 17:46:52 +0100 |
| commit | 6fbf22da47a18145daf59c8f262f46af2cb8cefb (patch) | |
| tree | 9f228c335d4bc175eb503ec42890e34cf1ee4b13 /rts/LibdwPool.h | |
| parent | a3a8ce6e60466cb3742506c7d7bfa1a5b1012728 (diff) | |
| download | haskell-6fbf22da47a18145daf59c8f262f46af2cb8cefb.tar.gz | |
rts: Add LibdwPool, a pool for libdw sessions
Differential Revision: https://phabricator.haskell.org/D1198#40948
Diffstat (limited to 'rts/LibdwPool.h')
| -rw-r--r-- | rts/LibdwPool.h | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/rts/LibdwPool.h b/rts/LibdwPool.h new file mode 100644 index 0000000000..a6b670e6f1 --- /dev/null +++ b/rts/LibdwPool.h @@ -0,0 +1,30 @@ +/* --------------------------------------------------------------------------- + * + * (c) The GHC Team, 2015-2016 + * + * A pool of libdw sessions + * + * --------------------------------------------------------------------------*/ + +#ifndef LIBDW_POOL_H +#define LIBDW_POOL_H + +#include "BeginPrivate.h" + +#include "Rts.h" +#include "Libdw.h" + +#ifdef USE_LIBDW + +/* Initialize the pool */ +void libdwPoolInit(void); + +#else + +INLINE_HEADER void libdwPoolInit(void) {} + +#endif /* USE_LIBDW */ + +#include "EndPrivate.h" + +#endif /* LIBDW_POOL_H */ |