Export the value of the signal used by scheduler (#4504)

[ghc-hetmet.git] / includes / rts / Timer.h

diff --git a/includes/rts/Timer.h b/includes/rts/Timer.h
index 39edeb2..9563f6a 100644 (file)
--- a/includes/rts/Timer.h
+++ b/includes/rts/Timer.h
@@ -16,5 +16,6 @@
 
 void startTimer (void);
 void stopTimer  (void);
+int rtsTimerSignal (void);
 
 #endif /* RTS_TIMER_H */