Detab TcUnify

[ghc-hetmet.git] / rts / Papi.h

diff --git a/rts/Papi.h b/rts/Papi.h
index 940ec51..835eea6 100644 (file)
--- a/rts/Papi.h
+++ b/rts/Papi.h
@@ -1,3 +1,9 @@
+/* -----------------------------------------------------------------------------
+ * (c) The GHC Team 2006
+ * 
+ * Initialization and use of the PAPI performance monitoring library
+ *
+ * ---------------------------------------------------------------------------*/
 
 
 #include <papi.h>
@@ -26,6 +32,8 @@ extern long_long GCCounters[];
 
 long_long papi_counter(long_long values[],int event);
 void papi_report(long_long PapiCounters[]);
+void papi_mut_cycles(void);
+void papi_gc_cycles(void);
 void papi_add_events(int EventSet);
 
 void papi_init_eventsets(void);