#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;
void papi_thread_start_gc1_count(int event_set);
void papi_thread_stop_gc1_count(int event_set);
+#include "EndPrivate.h"
+
#endif /* PAPI_H */