Reference

SYSCTL_COUNTER_U64(9) on FreeBSD

The text 28d94cfc86cd, as FreeBSD 11.1-RELEASE shipped it.

SMP-friendly kernel counter implementation

SYSCTL_COUNTER_U64(9) on FreeBSD now