diff options
Diffstat (limited to 'includes/rts/IOManager.h')
| -rw-r--r-- | includes/rts/IOManager.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/includes/rts/IOManager.h b/includes/rts/IOManager.h index 1c331b97af..7bf2cdf43c 100644 --- a/includes/rts/IOManager.h +++ b/includes/rts/IOManager.h @@ -26,7 +26,8 @@ void sendIOManagerEvent (HsWord32 event); #else -void setIOManagerControlFd (int fd); +void setIOManagerControlFd (nat cap_no, int fd); +void setTimerManagerControlFd(int fd); void setIOManagerWakeupFd (int fd); #endif |