The text 80cd0af7485b, as FreeBSD 10.3-RELEASE shipped it.
kernel synchronization primitives
mutex(9) on FreeBSD now
