-void simcall_HANDLER_storage_read(smx_simcall_t simcall, surf_storage_t st, sg_size_t size)
-{
- smx_activity_t synchro = SIMIX_storage_read(st, size);
- synchro->simcalls.push_back(simcall);
- simcall->issuer->waiting_synchro = synchro;
-}
-
-smx_activity_t SIMIX_storage_read(surf_storage_t st, sg_size_t size)