rts/LibdwPool.h

   1 /* ---------------------------------------------------------------------------
   2  *
   3  * (c) The GHC Team, 2015-2016
   4  *
   5  * A pool of libdw sessions
   6  *
   7  * --------------------------------------------------------------------------*/
   8
   9 #pragma once
  10
  11 #include "BeginPrivate.h"
  12
  13 #include "Rts.h"
  14 #include "Libdw.h"
  15
  16 #if USE_LIBDW
  17
  18 /* Initialize the pool */
  19 void libdwPoolInit(void);
  20
  21 #else
  22
  23 INLINE_HEADER void libdwPoolInit(void) {}
  24
  25 #endif /* USE_LIBDW */
  26
  27 #include "EndPrivate.h"