SYSCTL_COUNTER_U64(9) on FreeBSD

The text 1ba5e9ea5db4, as FreeBSD 13.2-RELEASE, FreeBSD 13.1-RELEASE shipped it.

SMP-friendly kernel counter implementation

SYSCTL_COUNTER_U64(9) on FreeBSD now