Symbol: os_atomic_inc_64
sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c
2525
os_atomic_inc_64(&machdata->mach_htlb_gen);
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
3224
os_atomic_inc_64(&machdata->mach_htlb_gen);