mutex_lock(9) on Linux

The text 380c012a4d2d, as Debian 7 (Wheezy) shipped it.

acquire the mutex

mutex_lock(9) on Linux now