Symbol: VMM_STAT_INTEL
sys/amd64/vmm/intel/vmx.c
1282
static VMM_STAT_INTEL(VCPU_INVVPID_SAVED, "Number of vpid invalidations saved");
sys/amd64/vmm/intel/vmx.c
1283
static VMM_STAT_INTEL(VCPU_INVVPID_DONE, "Number of vpid invalidations done");