[mc] Move the stack as field of SafetyChecker and CommDetChecker

[simgrid.git] / src / simix / popping_enum.h

diff --git a/src/simix/popping_enum.h b/src/simix/popping_enum.h
index 1b0676a..877f0a3 100644 (file)
--- a/src/simix/popping_enum.h
+++ b/src/simix/popping_enum.h
@@ -18,7 +18,6 @@
  */
 typedef enum {
   SIMCALL_NONE,
-  SIMCALL_HOST_OFF,
   SIMCALL_VM_SUSPEND,
   SIMCALL_VM_RESUME,
   SIMCALL_VM_SHUTDOWN,
@@ -34,16 +33,16 @@ typedef enum {
   SIMCALL_PROCESS_IS_SUSPENDED,
   SIMCALL_PROCESS_JOIN,
   SIMCALL_PROCESS_SLEEP,
-  SIMCALL_PROCESS_EXECUTE,
-  SIMCALL_PROCESS_PARALLEL_EXECUTE,
-  SIMCALL_PROCESS_EXECUTION_DESTROY,
-  SIMCALL_PROCESS_EXECUTION_CANCEL,
-  SIMCALL_PROCESS_EXECUTION_GET_REMAINS,
-  SIMCALL_PROCESS_EXECUTION_GET_STATE,
-  SIMCALL_PROCESS_EXECUTION_SET_PRIORITY,
-  SIMCALL_PROCESS_EXECUTION_SET_BOUND,
-  SIMCALL_PROCESS_EXECUTION_SET_AFFINITY,
-  SIMCALL_PROCESS_EXECUTION_WAIT,
+  SIMCALL_EXECUTION_START,
+  SIMCALL_EXECUTION_PARALLEL_START,
+  SIMCALL_EXECUTION_DESTROY,
+  SIMCALL_EXECUTION_CANCEL,
+  SIMCALL_EXECUTION_GET_REMAINS,
+  SIMCALL_EXECUTION_GET_STATE,
+  SIMCALL_EXECUTION_SET_PRIORITY,
+  SIMCALL_EXECUTION_SET_BOUND,
+  SIMCALL_EXECUTION_SET_AFFINITY,
+  SIMCALL_EXECUTION_WAIT,
   SIMCALL_PROCESS_ON_EXIT,
   SIMCALL_PROCESS_AUTO_RESTART_SET,
   SIMCALL_PROCESS_RESTART,
@@ -70,18 +69,15 @@ typedef enum {
   SIMCALL_COMM_GET_SRC_PROC,
   SIMCALL_COMM_GET_DST_PROC,
   SIMCALL_MUTEX_INIT,
-  SIMCALL_MUTEX_DESTROY,
   SIMCALL_MUTEX_LOCK,
   SIMCALL_MUTEX_TRYLOCK,
   SIMCALL_MUTEX_UNLOCK,
   SIMCALL_COND_INIT,
-  SIMCALL_COND_DESTROY,
   SIMCALL_COND_SIGNAL,
   SIMCALL_COND_WAIT,
   SIMCALL_COND_WAIT_TIMEOUT,
   SIMCALL_COND_BROADCAST,
   SIMCALL_SEM_INIT,
-  SIMCALL_SEM_DESTROY,
   SIMCALL_SEM_RELEASE,
   SIMCALL_SEM_WOULD_BLOCK,
   SIMCALL_SEM_ACQUIRE,
@@ -104,14 +100,5 @@ typedef enum {
   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;