NVMM_IOC_VCPU_DESTROY
ret = ioctl(nvmm_fd, NVMM_IOC_VCPU_DESTROY, &args);
case NVMM_IOC_VCPU_DESTROY: