The text e5651bfca03b, as Debian 8 (Jessie) shipped it.
is the mutex locked
mutex_is_locked(9) on Linux now
