SIMCALL_ASR_GET_PROPERTIES,
SIMCALL_MC_RANDOM,
SIMCALL_SET_CATEGORY,
- SIMCALL_RUN_KERNEL,
-#ifdef HAVE_LATENCY_BOUND_TRACKING
- SIMCALL_COMM_IS_LATENCY_BOUNDED,
-#endif
-
-#ifdef HAVE_MC
- SIMCALL_MC_SNAPSHOT,
- SIMCALL_MC_COMPARE_SNAPSHOTS,
-#endif
- NUM_SIMCALLS
+ SIMCALL_RUN_KERNEL, NUM_SIMCALLS
} e_smx_simcall_t;