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