#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;
void papi_thread_start_gc1_count(int event_set);
void papi_thread_stop_gc1_count(int event_set);
+END_RTS_PRIVATE
+
#endif /* PAPI_H */