Symbol: nvmm_vcpu_free
src/add-ons/kernel/drivers/nvmm/nvmm.c
157
nvmm_vcpu_free(struct nvmm_machine *mach, struct nvmm_cpu *vcpu)
src/libs/nvmm/driver/nvmm.c
157
nvmm_vcpu_free(struct nvmm_machine *mach, struct nvmm_cpu *vcpu)