extern void setIOManagerPipe (int fd);
#endif
-extern void* allocateExec(unsigned int len);
+extern void* allocateExec(unsigned int len, void **exec_addr);
// Breakpoint stuff
extern void dirty_MUT_VAR(StgRegTable *reg, StgClosure *p);
extern void dirty_MVAR(StgRegTable *reg, StgClosure *p);
-extern void dirty_TSO(StgClosure *tso);
-
#endif /* RTSEXTERNAL_H */