[mc] Remove the --cfg=model-check:1 flag

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

diff --git a/src/simix/popping_enum.h b/src/simix/popping_enum.h
index 634f039..f0519f2 100644 (file)
--- a/src/simix/popping_enum.h
+++ b/src/simix/popping_enum.h
@@ -18,7 +18,6 @@
  */
 typedef enum {
   SIMCALL_NONE,
-  SIMCALL_HOST_GET_BY_NAME,
   SIMCALL_HOST_GET_NAME,
   SIMCALL_HOST_ON,
   SIMCALL_HOST_OFF,
@@ -31,18 +30,11 @@ typedef enum {
   SIMCALL_HOST_GET_CURRENT_POWER_PEAK,
   SIMCALL_HOST_GET_POWER_PEAK_AT,
   SIMCALL_HOST_GET_NB_PSTATES,
-  SIMCALL_HOST_SET_POWER_PEAK_AT,
+  SIMCALL_HOST_GET_WATTMIN_AT,
+  SIMCALL_HOST_GET_WATTMAX_AT,
+  SIMCALL_HOST_SET_PSTATE,
+  SIMCALL_HOST_GET_PSTATE,
   SIMCALL_HOST_GET_CONSUMED_ENERGY,
-  SIMCALL_HOST_EXECUTE,
-  SIMCALL_HOST_PARALLEL_EXECUTE,
-  SIMCALL_HOST_EXECUTION_DESTROY,
-  SIMCALL_HOST_EXECUTION_CANCEL,
-  SIMCALL_HOST_EXECUTION_GET_REMAINS,
-  SIMCALL_HOST_EXECUTION_GET_STATE,
-  SIMCALL_HOST_EXECUTION_SET_PRIORITY,
-  SIMCALL_HOST_EXECUTION_SET_BOUND,
-  SIMCALL_HOST_EXECUTION_SET_AFFINITY,
-  SIMCALL_HOST_EXECUTION_WAIT,
   SIMCALL_HOST_GET_MOUNTED_STORAGE_LIST,
   SIMCALL_HOST_GET_ATTACHED_STORAGE_LIST,
   SIMCALL_HOST_GET_PARAMS,
@@ -60,11 +52,11 @@ typedef enum {
   SIMCALL_VM_SHUTDOWN,
   SIMCALL_VM_SAVE,
   SIMCALL_VM_RESTORE,
+  SIMCALL_VM_MIGRATEFROM_RESUMETO,
   SIMCALL_PROCESS_CREATE,
   SIMCALL_PROCESS_KILL,
   SIMCALL_PROCESS_KILLALL,
   SIMCALL_PROCESS_CLEANUP,
-  SIMCALL_PROCESS_CHANGE_HOST,
   SIMCALL_PROCESS_SUSPEND,
   SIMCALL_PROCESS_RESUME,
   SIMCALL_PROCESS_COUNT,
@@ -72,12 +64,23 @@ typedef enum {
   SIMCALL_PROCESS_GET_PPID,
   SIMCALL_PROCESS_GET_DATA,
   SIMCALL_PROCESS_SET_DATA,
+  SIMCALL_PROCESS_SET_HOST,
   SIMCALL_PROCESS_GET_HOST,
   SIMCALL_PROCESS_GET_NAME,
   SIMCALL_PROCESS_IS_SUSPENDED,
   SIMCALL_PROCESS_GET_PROPERTIES,
   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_PROCESS_ON_EXIT,
   SIMCALL_PROCESS_AUTO_RESTART_SET,
   SIMCALL_PROCESS_RESTART,
@@ -137,14 +140,11 @@ typedef enum {
   SIMCALL_STORAGE_GET_CONTENT,
   SIMCALL_ASR_GET_PROPERTIES,
   SIMCALL_MC_RANDOM,
+  SIMCALL_SET_CATEGORY,
 #ifdef HAVE_LATENCY_BOUND_TRACKING
   SIMCALL_COMM_IS_LATENCY_BOUNDED,
 #endif
 
-#ifdef HAVE_TRACING
-  SIMCALL_SET_CATEGORY,
-#endif
-
 #ifdef HAVE_MC
   SIMCALL_MC_SNAPSHOT,
   SIMCALL_MC_COMPARE_SNAPSHOTS,