nvmm_vcpu_destroy
int nvmm_vcpu_destroy(struct nvmm_machine *, struct nvmm_vcpu *);
return nvmm_vcpu_destroy(owner, data);
if (nvmm_vcpu_destroy(&mach, &vcpu) == -1)
if (nvmm_vcpu_destroy(&mach, &vcpu) == -1)