return simcall_BODY_comm_get_dst_proc(comm);
}
-#ifdef HAVE_LATENCY_BOUND_TRACKING
-int simcall_comm_is_latency_bounded(smx_synchro_t comm)
-{
- return simcall_BODY_comm_is_latency_bounded(comm);
-}
-#endif
-
/**
* \ingroup simix_synchro_management
*
return simcall_BODY_run_kernel((void*) &code);
}
-#ifdef HAVE_MC
-
-void *simcall_mc_snapshot(void) {
- return simcall_BODY_mc_snapshot();
-}
-
-int simcall_mc_compare_snapshots(void *s1, void *s2) {
- return simcall_BODY_mc_compare_snapshots((simgrid::mc::Snapshot*)s1, (simgrid::mc::Snapshot*)s2);
-}
-
-#endif /* HAVE_MC */
-
int simcall_mc_random(int min, int max) {
return simcall_BODY_mc_random(min, max);
}