+namespace kernel {
+namespace activity {
+
+class XBT_PUBLIC MutexImpl {
+ std::atomic_int_fast32_t refcount_{1};
+ s4u::Mutex piface_;
+ bool locked_ = false;
+ actor::ActorImpl* owner_ = nullptr;
+ // List of sleeping actors:
+ actor::SynchroList sleeping_;