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