+/* -----------------------------------------------------------------------------
+ * (c) The GHC Team 2006
+ *
+ * Initialization and use of the PAPI performance monitoring library
+ *
+ * ---------------------------------------------------------------------------*/
#include <papi.h>
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);