#include "src/instr/instr_smpi.h"
#include <unordered_map>
#include <vector>
+#include "src/internal_config.h"
/**
* Get the address of the beginning of the memory page where addr is located.
#define TOPAGE(addr) (void *)(((unsigned long)(addr) / xbt_pagesize) * xbt_pagesize)
#if HAVE_PAPI
-typedef
+typedef
std::vector<std::pair</* counter name */std::string, /* counter value */long long>> papi_counter_t;
XBT_PRIVATE papi_counter_t& smpi_process_papi_counters();
XBT_PRIVATE int smpi_process_papi_event_set();