The text cc0bf4a2b7f3, as Debian 8 (Jessie) shipped it.
kernel synchronization primitives
mtx_lock_flags(9freebsd) on Linux now
