rename allocated_bytes() to allocatedBytes()

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

diff --git a/includes/RtsExternal.h b/includes/RtsExternal.h
index 58db11c..3000059 100644 (file)
--- a/includes/RtsExternal.h
+++ b/includes/RtsExternal.h
@@ -77,7 +77,7 @@ extern StgInt *signal_handlers;
 #endif
 extern void setIOManagerPipe (int fd);
 
-extern void* allocateExec(int len);
+extern void* allocateExec(unsigned int len);
 
 /* -----------------------------------------------------------------------------
    Storage manager stuff exported
@@ -88,7 +88,6 @@ typedef void (*evac_fn)(StgClosure **);
 
 extern void performGC(void);
 extern void performMajorGC(void);
-extern void performGCWithRoots(void (*get_roots)(evac_fn));
 extern HsInt64 getAllocations( void );
 extern void revertCAFs( void );
 extern void dirty_MUT_VAR(StgRegTable *reg, StgClosure *p);