SIMCALL_VM_SHUTDOWN,
SIMCALL_VM_SAVE,
SIMCALL_VM_RESTORE,
- SIMCALL_PROCESS_CREATE,
SIMCALL_PROCESS_KILL,
SIMCALL_PROCESS_KILLALL,
SIMCALL_PROCESS_CLEANUP,
SIMCALL_ASR_GET_PROPERTIES,
SIMCALL_MC_RANDOM,
SIMCALL_SET_CATEGORY,
- SIMCALL_RUN_KERNEL, NUM_SIMCALLS
+ SIMCALL_RUN_KERNEL,
+ SIMCALL_RUN_BLOCKING, NUM_SIMCALLS
} e_smx_simcall_t;