kernel::activity::MutexImpl* const pimpl_;
/* refcounting */
friend XBT_PUBLIC void intrusive_ptr_add_ref(const Mutex* mutex);
friend XBT_PUBLIC void intrusive_ptr_release(const Mutex* mutex);
kernel::activity::MutexImpl* const pimpl_;
/* refcounting */
friend XBT_PUBLIC void intrusive_ptr_add_ref(const Mutex* mutex);
friend XBT_PUBLIC void intrusive_ptr_release(const Mutex* mutex);