On 12/09/2018 10:19, Pavel Dovgalyuk wrote: > This patch tries to wake up the vCPU when it sleeps and the icount warp > checkpoint isn't met. It means that vCPU has something to do, because > there are no other reasons of non-matching warp checkpoint.
What happens if !replay_has_checkpoint()? Should that be an assertion? Thanks, Paolo