mutex_lock(9) on Linux

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

acquire the mutex

mutex_lock(9) on Linux now