use std::mutex instead of xbt_os_mutex_t in simix

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

diff --git a/src/simix/popping_enum.h b/src/simix/popping_enum.h
index fa3e71d..7305834 100644 (file)
--- a/src/simix/popping_enum.h
+++ b/src/simix/popping_enum.h
@@ -22,8 +22,6 @@ typedef enum {
   SIMCALL_PROCESS_SUSPEND,
   SIMCALL_PROCESS_JOIN,
   SIMCALL_PROCESS_SLEEP,
-  SIMCALL_EXECUTION_START,
-  SIMCALL_EXECUTION_PARALLEL_START,
   SIMCALL_EXECUTION_WAIT,
   SIMCALL_EXECUTION_TEST,
   SIMCALL_COMM_IPROBE,
@@ -38,7 +36,6 @@ typedef enum {
   SIMCALL_MUTEX_LOCK,
   SIMCALL_MUTEX_TRYLOCK,
   SIMCALL_MUTEX_UNLOCK,
-  SIMCALL_COND_INIT,
   SIMCALL_COND_WAIT,
   SIMCALL_COND_WAIT_TIMEOUT,
   SIMCALL_SEM_ACQUIRE,
@@ -46,7 +43,6 @@ typedef enum {
   SIMCALL_STORAGE_READ,
   SIMCALL_STORAGE_WRITE,
   SIMCALL_MC_RANDOM,
-  SIMCALL_SET_CATEGORY,
   SIMCALL_RUN_KERNEL,
   SIMCALL_RUN_BLOCKING,
   NUM_SIMCALLS