Reference

SYSCTL_COUNTER_U64(9) on FreeBSD

The text 7186022362fa, as FreeBSD 12.0-RELEASE shipped it.

SMP-friendly kernel counter implementation

SYSCTL_COUNTER_U64(9) on FreeBSD now