COMM_WAIT,
COMM_TEST,
COMM_TESTANY,
- MUTEX_LOCK,
COND_WAIT,
COND_WAIT_TIMEOUT,
- SEM_ACQUIRE,
SEM_ACQUIRE_TIMEOUT,
RUN_KERNEL,
RUN_BLOCKING,
};
-constexpr int NUM_SIMCALLS = 17;
+constexpr int NUM_SIMCALLS = 15;
} // namespace simix
} // namespace simgrid