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