blob: 76ff41c8c7e435d199aee5f3b36cf68961554edc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
/* ---------------------------------------------------------------------------
*
* (c) The GHC Team, 2015-2016
*
* A pool of libdw sessions
*
* --------------------------------------------------------------------------*/
#pragma once
/* 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);
|
