XBT_PUBLIC_DATA(void) (*smpi_coll_cleanup_callback)(void);
XBT_PUBLIC(void) smpi_coll_cleanup_mvapich2(void);
-extern XBT_PRIVATE double smpi_wtime_sleep;
-extern XBT_PRIVATE double smpi_iprobe_sleep;
-extern XBT_PRIVATE double smpi_test_sleep;
SG_END_DECL()