Reference

SYSCTL_COUNTER_U64(9) on FreeBSD

The text f390395eb222, as FreeBSD 11.0-RELEASE shipped it.

SMP-friendly kernel counter implementation

SYSCTL_COUNTER_U64(9) on FreeBSD now