return simcall_BODY_file_close(fp);
}
-/**
- * \ingroup simix_file_management
- *
- */
-int simcall_file_stat(smx_file_t fd, s_file_stat_t *buf)
-{
- return simcall_BODY_file_stat(fd, buf);
-}
-
/**
* \ingroup simix_file_management
*
return simcall_BODY_mc_compare_snapshots(s1, s2);
}
-int simcall_mc_random(int min, int max)
+int simcall_mc_random(void)
{
- return simcall_BODY_mc_random(min, max);
+ return simcall_BODY_mc_random();
}