From 38a5902fec5ca7b078f607cc4e7452f1c62214f7 Mon Sep 17 00:00:00 2001 From: Andreas Voellmy Date: Thu, 20 Dec 2012 00:43:11 -0500 Subject: Added RTS hooks for the timer manager. --- includes/rts/Globals.h | 2 ++ 1 file changed, 2 insertions(+) (limited to 'includes') diff --git a/includes/rts/Globals.h b/includes/rts/Globals.h index 9a2fbd0dd4..720d9674cc 100644 --- a/includes/rts/Globals.h +++ b/includes/rts/Globals.h @@ -23,5 +23,7 @@ StgStablePtr getOrSetGHCConcWindowsIOManagerThreadStore(StgStablePtr ptr); StgStablePtr getOrSetGHCConcWindowsProddingStore(StgStablePtr ptr); StgStablePtr getOrSetSystemEventThreadEventManagerStore(StgStablePtr ptr); StgStablePtr getOrSetSystemEventThreadIOManagerThreadStore(StgStablePtr ptr); +StgStablePtr getOrSetSystemTimerThreadEventManagerStore(StgStablePtr ptr); +StgStablePtr getOrSetSystemTimerThreadIOManagerThreadStore(StgStablePtr ptr); #endif /* RTS_GLOBALS_H */ -- cgit v1.2.1