Symbol: vmm_stat_array_incr
usr/src/uts/intel/io/vmm/io/vlapic.c
721
vmm_stat_array_incr(vlapic->vm, vlapic->vcpuid,
usr/src/uts/intel/io/vmm/vmm_stat.h
134
vmm_stat_array_incr(vm, vcpu, vst, 0, x);