Symbol: nvmm_vcpu_free
sys/dev/nvmm/nvmm.c
282
nvmm_vcpu_free(mach, vcpu);
sys/dev/nvmm/nvmm.c
370
nvmm_vcpu_free(mach, vcpu);
sys/dev/nvmm/nvmm.c
452
nvmm_vcpu_free(mach, vcpu);
sys/dev/nvmm/nvmm.c
459
nvmm_vcpu_free(mach, vcpu);
sys/dev/nvmm/nvmm.c
467
nvmm_vcpu_free(mach, vcpu);
sys/dev/nvmm/nvmm.c
496
nvmm_vcpu_free(mach, vcpu);