-void SIMIX_pre_file_read(smx_simcall_t simcall, void *ptr, size_t size,
- smx_file_t fd);
-void SIMIX_pre_file_write(smx_simcall_t simcall, const void *ptr, size_t size,
- smx_file_t fd);
+void SIMIX_pre_file_read(smx_simcall_t simcall, size_t size, smx_file_t fd);
+void SIMIX_pre_file_write(smx_simcall_t simcall, size_t size, smx_file_t fd);