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