cpp/header/mutex

This header is part of the thread support library.