summaryrefslogtreecommitdiff
path: root/includes/rts/LibdwPool.h
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);