*/
#define TOPAGE(addr) (void *)(((unsigned long)(addr) / xbt_pagesize) * xbt_pagesize)
-#ifdef HAVE_PAPI
+#if HAVE_PAPI
typedef
std::vector<std::pair</* counter name */std::string, /* counter value */long long>> papi_counter_t;
-XBT_PRIVATE papi_counter_t& smpi_process_counter_data();
-XBT_PRIVATE int smpi_process_event_set();
+XBT_PRIVATE papi_counter_t& smpi_process_papi_counters();
+XBT_PRIVATE int smpi_process_papi_event_set();
#endif
extern std::unordered_map<std::string, double> location2speedup;