*
* ---------------------------------------------------------------------------*/
+#ifndef PAPI_H
+#define PAPI_H
+
+BEGIN_RTS_PRIVATE
+
/* Check the error value of a PAPI call, reporting an error, if needed */
extern int papi_error;
// events and aggregate them into the main GC counters.
void papi_thread_start_gc1_count(int event_set);
void papi_thread_stop_gc1_count(int event_set);
+
+END_RTS_PRIVATE
+
+#endif /* PAPI_H */