#ifndef TIMER_H
#define TIMER_H
-extern void initTimer(void);
-extern void startTimer(void);
-extern void stopTimer(void);
-extern void exitTimer(void);
+RTS_PRIVATE void initTimer (void);
+RTS_PRIVATE void exitTimer (rtsBool wait);
#endif /* TIMER_H */