The text 2ec40310a0ae, as FreeBSD 10.1-RELEASE shipped it.
access per-CPU data
kvm_counter_u64_fetch(3) on FreeBSD now
