+
+ return simcall->file_read.result;
+}
+
+size_t simcall_file_write(const void* ptr, size_t size, size_t nmemb, smx_file_t* stream)
+{
+ smx_simcall_t simcall = SIMIX_simcall_mine();
+
+ simcall->call = SIMCALL_FILE_READ;
+ simcall->file_write.ptr = ptr;
+ simcall->file_write.size = size;
+ simcall->file_write.nmemb = nmemb;
+ simcall->file_write.stream = stream;
+ SIMIX_simcall_push(simcall->issuer);
+
+ return simcall->file_write.result;