}
void
-exitTicker(void)
+exitTicker (rtsBool wait STG_UNUSED)
{
#if defined(USE_TIMER_CREATE)
timer_delete(timer);
return (lnat)((StgWord64)tv.tv_sec * 1000 / interval +
(StgWord64)tv.tv_usec / (interval * 1000));
}
+
+int
+rtsTimerSignal(void)
+{
+ return ITIMER_SIGNAL;
+}