ost_MutexCounter(3) on Linux

The text eeb5f58ee170, as Debian 8 (Jessie) shipped it.

The Mutex Counter is a counter variable which can safely be incremented or decremented by multiple threads.