} sem_get_capacity;
struct {
+ const char* storage;
void *ptr;
size_t size;
size_t nmemb;
} file_read;
struct {
+ const char* storage;
const void *ptr;
size_t size;
size_t nmemb;
} file_write;
struct {
+ const char* storage;
const char* path;
const char* mode;
smx_file_t result;
} file_open;
struct {
+ const char* storage;
smx_file_t fp;
int result;
} file_close;
struct {
+ const char* storage;
int fd;
//Next should be struct stat* buf
void* buf;
void SIMIX_simcall_answer(smx_simcall_t);
void SIMIX_simcall_pre(smx_simcall_t, int);
void SIMIX_simcall_post(smx_action_t);
-XBT_INLINE smx_simcall_t SIMIX_simcall_mine(void);
+smx_simcall_t SIMIX_simcall_mine(void);
const char *SIMIX_simcall_name(e_smx_simcall_t kind);
#endif