Symbol: nvmm_vcpu_destroy
lib/libnvmm/libnvmm.c
327
nvmm_vcpu_destroy(struct nvmm_machine *mach, struct nvmm_vcpu *vcpu)
sys/dev/nvmm/nvmm.c
481
nvmm_vcpu_destroy(struct nvmm_owner *owner, struct nvmm_ioc_vcpu_destroy *args)