int TRACE_surf_gtnets_get_dst (void *action);
void TRACE_surf_gtnets_destroy (void *action);
+/* from smpi_instr.c */
+void __TRACE_smpi_init (void);
+void TRACE_smpi_init (int rank);
+void TRACE_smpi_finalize (int rank);
+void TRACE_smpi_start (void);
+void TRACE_smpi_end (void);
+void TRACE_smpi_collective_in (int rank, int root, const char *operation);
+void TRACE_smpi_collective_out (int rank, int root, const char *operation);
+void TRACE_smpi_ptp_in (int rank, int src, int dst, const char *operation);
+void TRACE_smpi_ptp_out (int rank, int src, int dst, const char *operation);
+void TRACE_smpi_send (int rank, int src, int dst);
+void TRACE_smpi_recv (int rank, int src, int dst);
+
/* from instr_config.c */
+int _TRACE_configured (void);
int _TRACE_smpi_enabled (void);
int _TRACE_platform_enabled (void);
int _TRACE_msg_task_enabled (void);