The text ecc5227d668e, as FreeBSD 11.2-RELEASE shipped it.
SMP-friendly kernel counter implementation
counter_enter(9) on FreeBSD now
