3360192725c660e25b5904b32d9851887e18ade9
[ghc.git] / includes / rts / LibdwPool.h
1 /* ---------------------------------------------------------------------------
2 *
3 * (c) The GHC Team, 2015-2016
4 *
5 * A pool of libdw sessions
6 *
7 * --------------------------------------------------------------------------*/
8
9 #ifndef RTS_LIBDW_POOL_H
10 #define RTS_LIBDW_POOL_H
11
12 /* Claim a session from the pool */
13 LibdwSession *libdwPoolTake(void);
14
15 /* Return a session to the pool */
16 void libdwPoolRelease(LibdwSession *sess);
17
18 /* Free any sessions in the pool forcing a reload of any loaded debug
19 * information */
20 void libdwPoolClear(void);
21
22 #endif /* RTS_LIBDW_POOL_H */