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