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