add a store/load memory barrier

[ghc-hetmet.git] / includes / RtsExternal.h

diff --git a/includes/RtsExternal.h b/includes/RtsExternal.h
index b952761..31cae1a 100644 (file)
--- a/includes/RtsExternal.h
+++ b/includes/RtsExternal.h
@@ -111,7 +111,7 @@ void sendIOManagerEvent (HsWord32 event);
 extern void setIOManagerPipe (int fd);
 #endif
 
-extern void* allocateExec(unsigned int len);
+extern void* allocateExec(unsigned int len, void **exec_addr);
 
 // Breakpoint stuff
 
@@ -126,6 +126,4 @@ extern void revertCAFs( void );
 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 */