The text c4200d1fd57f, as FreeBSD 12.4-RELEASE shipped it.
kernel shared/exclusive lock
sx_init_flags(9) on FreeBSD now
