Reference

SYSCTL_COUNTER_U64(9) on FreeBSD

The text 30d74945a834, as FreeBSD 12.1-RELEASE shipped it.

SMP-friendly kernel counter implementation

SYSCTL_COUNTER_U64(9) on FreeBSD now