Symbol: vmm_stat_alloc
usr/src/uts/intel/io/vmm/vmm.c
414
vcpu->stats = vmm_stat_alloc();
usr/src/uts/intel/io/vmm/vmm_stat.h
93
void *vmm_stat_alloc(void);