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