The text 8c17b77e4cd2, as Debian 10 (Buster) shipped it.
kernel lock profiling support
MUTEX_PROFILING(9freebsd) on Linux now
