Symbol: vmm_stat_array_incr
sys/amd64/vmm/io/vlapic.c
700
vmm_stat_array_incr(vlapic->vcpu, LVTS_TRIGGERRED,
sys/dev/vmm/vmm_stat.h
124
vmm_stat_array_incr(vcpu, vst, 0, x);