The text 3205c905101c, as Debian 10 (Buster) shipped it.
mutex pool routines
mtx_pool_lock(9freebsd) on Linux now
