diff options
Diffstat (limited to 'ghc/rts/Ticker.h')
| -rw-r--r-- | ghc/rts/Ticker.h | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/ghc/rts/Ticker.h b/ghc/rts/Ticker.h new file mode 100644 index 0000000000..f9555768b5 --- /dev/null +++ b/ghc/rts/Ticker.h @@ -0,0 +1,15 @@ +/* ----------------------------------------------------------------------------- + * + * (c) The GHC Team 2005 + * + * Ticker interface (implementation is OS-specific) + * + * ---------------------------------------------------------------------------*/ + +#ifndef TICKER_H +#define TICKER_H + +extern int startTicker( nat ms, TickProc handle_tick ); +extern int stopTicker ( void ); + +#endif /* TICKER_H */ |