Integrate new I/O manager, with signal support

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

diff --git a/includes/rts/IOManager.h b/includes/rts/IOManager.h
index 3aedda8..bf93d97 100644 (file)
--- a/includes/rts/IOManager.h
+++ b/includes/rts/IOManager.h
@@ -26,8 +26,8 @@ void     sendIOManagerEvent (HsWord32 event);
 
 #else
 
-void     setIOManagerPipe   (int fd);
-void     ioManagerSync (void);
+void     setIOManagerControlFd   (int fd);
+void     setIOManagerWakeupFd   (int fd);
 
 #endif