The text 80aeef98ede5, as FreeBSD 11.4-RELEASE shipped it.
access per-CPU data
kvm_counter_u64_fetch(3) on FreeBSD now
