#include "xbt/xbt_os_time.h"
#include "simix/simix.h"
#include "smpi/smpi.h"
+#include "instr/private.h"
struct s_smpi_process_data;
typedef struct s_smpi_process_data* smpi_process_data_t;
int complete;
MPI_Request match;
unsigned flags;
+#ifdef HAVE_TRACING
+ int send;
+ int recv;
+#endif
} s_smpi_mpi_request_t;
void smpi_process_init(int* argc, char*** argv);