*
* */
-/**
- * \brief All possible simcalls.
- */
-typedef enum {
-SIMCALL_NONE,
-#include "simcalls_generated_enum.h"
-SIMCALL_NEW_API_INIT,
-NUM_SIMCALLS
-} e_smx_simcall_t;
+#include "simcalls_generated_enum.h" /* All possible simcalls (generated) */
typedef int (*simix_match_func_t)(void *, void *, smx_action_t);
+typedef void (*simix_copy_data_func_t)(smx_action_t, void*, size_t);
typedef void (*simix_clean_func_t)(void *);
typedef void (*FPtr)(void); // Hide the ugliness
double d;
size_t sz;
sg_size_t sgsz;
+ sg_offset_t sgoff;
void* dp;
FPtr fp;
const void* cp;
#ifdef HAVE_MC
int mc_value;
#endif
- union u_smx_scalar args[10];
+ union u_smx_scalar args[11];
union u_smx_scalar result;
//FIXME: union u_smx_scalar retval;
union {