"SIMCALL_ASR_GET_PROPERTIES",
"SIMCALL_MC_RANDOM",
"SIMCALL_SET_CATEGORY",
+ "SIMCALL_RUN_KERNEL",
#ifdef HAVE_LATENCY_BOUND_TRACKING
"SIMCALL_COMM_IS_LATENCY_BOUNDED",
#endif
SIMIX_simcall_answer(simcall);
break;
+case SIMCALL_RUN_KERNEL:
+ SIMIX_run_kernel( simcall->args[0].dp);
+ SIMIX_simcall_answer(simcall);
+ break;
+
#ifdef HAVE_LATENCY_BOUND_TRACKING
case SIMCALL_COMM_IS_LATENCY_BOUNDED:
simcall->result.i = SIMIX_comm_is_latency_bounded((smx_synchro_t) simcall->args[0].dp);