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