*
* ---------------------------------------------------------------------------*/
+#ifndef PAPI_H
+#define PAPI_H
+
+#include "BeginPrivate.h"
+
/* 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);
+
+#include "EndPrivate.h"
+
+#endif /* PAPI_H */