The text 28d94cfc86cd, as FreeBSD 11.1-RELEASE shipped it.
SMP-friendly kernel counter implementation
counter_u64_fetch(9) on FreeBSD now
