merge upstream HEAD
[ghc-hetmet.git] / rts / Ticker.h
index a39e7d6..5804501 100644 (file)
@@ -9,11 +9,15 @@
 #ifndef TICKER_H
 #define TICKER_H
 
+#include "BeginPrivate.h"
+
 typedef void (*TickProc)(int);
 
-extern void initTicker  (nat ms, TickProc handle_tick);
-extern void startTicker (void);
-extern void stopTicker  (void);
-extern void exitTicker  (void);
+void initTicker  (nat ms, TickProc handle_tick);
+void startTicker (void);
+void stopTicker  (void);
+void exitTicker  (rtsBool wait);
+
+#include "EndPrivate.h"
 
 #endif /* TICKER_H */