1 /* -----------------------------------------------------------------------------
2 * (c) The GHC Team 2006
4 * Initialization and use of the PAPI performance monitoring library
6 * ---------------------------------------------------------------------------*/
11 /* Check the error value of a PAPI call, reporting an error, if needed */
12 extern int papi_error;
14 /* While PAPI reporting is going on this flag is on */
15 extern int papi_is_reporting;
17 void papi_stats_report(void);
18 void papi_init_eventset(int * event_set);
20 void papi_start_mutator_count(void);
21 void papi_stop_mutator_count(void);
23 void papi_start_gc_count(void);
24 void papi_stop_gc0_count(void);
25 void papi_stop_gc1_count(void);
27 // for multithreaded GC, each sub-thread uses these functions to count
28 // events and aggregate them into the main GC counters.
29 void papi_thread_start_gc1_count(int event_set);
30 void papi_thread_stop_gc1_count(int event_set);