+/**
+ * \ingroup simix_file_management
+ * \brief
+ */
+smx_file_t simcall_file_open(const char* mount, const char* path, const char* mode)
+{
+ smx_simcall_t simcall = SIMIX_simcall_mine();
+
+ simcall->call = SIMCALL_FILE_OPEN;
+ simcall->file_open.mount = mount;
+ simcall->file_open.path = path;
+ simcall->file_open.mode = mode;
+ if(MC_IS_ENABLED) /* Initialize result to NULL for snapshot comparison done during simcall */
+ simcall->file_open.result = NULL;
+ SIMIX_simcall_push(simcall->issuer);
+
+ return simcall->file_open.result;
+}
+/**
+ * \ingroup simix_file_management
+ *
+ */
+int simcall_file_close(smx_file_t fp)
+{
+ smx_simcall_t simcall = SIMIX_simcall_mine();
+
+ simcall->call = SIMCALL_FILE_CLOSE;
+ simcall->file_close.fp = fp;
+ if(MC_IS_ENABLED) /* Initialize result to a default value for snapshot comparison done during simcall */
+ simcall->file_close.result = -1;
+ SIMIX_simcall_push(simcall->issuer);
+
+ return simcall->file_close.result;
+}
+/**
+ * \ingroup simix_file_management
+ *
+ */
+int simcall_file_stat(smx_file_t fd, s_file_stat_t *buf)
+{
+ smx_simcall_t simcall = SIMIX_simcall_mine();
+ simcall->call = SIMCALL_FILE_STAT;
+ simcall->file_stat.fd = fd;
+ if(MC_IS_ENABLED) /* Initialize result to a default value for snapshot comparison done during simcall */
+ simcall->file_stat.result = -1;
+
+ SIMIX_simcall_push(simcall->issuer);
+
+ *buf = simcall->file_stat.buf;
+
+ return simcall->file_stat.result;
+}
+
+/**
+ * \ingroup simix_file_management
+ *
+ */
+int simcall_file_unlink(smx_file_t fd)
+{
+ smx_simcall_t simcall = SIMIX_simcall_mine();
+ simcall->call = SIMCALL_FILE_UNLINK;
+ simcall->file_unlink.fd = fd;
+ if(MC_IS_ENABLED) /* Initialize result to a default value for snapshot comparison done during simcall */
+ simcall->file_unlink.result = -1;
+
+ SIMIX_simcall_push(simcall->issuer);
+
+ return simcall->file_unlink.result;
+}
+
+/**
+ * \ingroup simix_file_management
+ *
+ */
+xbt_dict_t simcall_file_ls(const char* mount, const char* path)
+{
+ smx_simcall_t simcall = SIMIX_simcall_mine();
+ simcall->call = SIMCALL_FILE_LS;
+ simcall->file_ls.mount = mount;
+ simcall->file_ls.path = path;
+ if(MC_IS_ENABLED) /* Initialize result to a default value for snapshot comparison done during simcall */
+ simcall->file_ls.result = NULL;
+
+ SIMIX_simcall_push(simcall->issuer);
+
+ return simcall->file_ls.result;
+}