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