// deprecated
/** @deprecated Mutex::create() */
XBT_ATTRIB_DEPRECATED_v323("Please use Mutex::create()") static MutexPtr createMutex() { return create(); }
// deprecated
/** @deprecated Mutex::create() */
XBT_ATTRIB_DEPRECATED_v323("Please use Mutex::create()") static MutexPtr createMutex() { return create(); }