Symbol: vcpu_stats
sys/dev/vmm/vmm_stat.c
105
stats = vcpu_stats(vcpu);
sys/dev/vmm/vmm_stat.h
112
stats = vcpu_stats(vcpu);
sys/dev/vmm/vmm_stat.h
98
stats = vcpu_stats(vcpu);