blob: b8bf0b887bd5c0b8d94152eeb319c6806c0ab459 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
/* -----------------------------------------------------------------------------
*
* (c) The GHC Team, 1995-2006
*
* Interface to the RTS timer signal (uses OS-dependent Ticker.h underneath)
*
* ---------------------------------------------------------------------------*/
#pragma once
RTS_PRIVATE void initTimer (void);
RTS_PRIVATE void exitTimer (bool wait);
|
