static const char* simcall_names[] = {
#undef SIMCALL_ENUM_ELEMENT
-#define SIMCALL_ENUM_ELEMENT(x) #x /* generate strings from the enumeration values */
+#define SIMCALL_ENUM_ELEMENT(x,y) #x /* generate strings from the enumeration values */
SIMCALL_LIST
#undef SIMCALL_ENUM_ELEMENT
};
simcall->call = SIMCALL_HOST_EXECUTION_WAIT;
simcall->host_execution_wait.execution = execution;
+ simcall->host_execution_wait.simcall = simcall;
+
+ SIMIX_simcall(SIMCALL_HOST_EXECUTION_WAIT, PTR(simcall), PTR(execution));
+
if(MC_is_active()) /* Initialize result to a default value for snapshot comparison done during simcall */
simcall->host_execution_wait.result = -1;
- SIMIX_simcall_push(simcall->issuer);
+
return simcall->host_execution_wait.result;
}