On 24/08/2017 18:53, Jim Mattson wrote: > Ah, yes; I see it now. This test didn't catch the early setting of the > launched flag? Apparently not, I'll check tomorrow whether I screwed up or more tests can be added. Paolo > On Thu, Aug 24, 2017 at 9:40 AM, Paolo Bonzini <bonzini@xxxxxxx> wrote: >> On 24/08/2017 18:38, Jim Mattson wrote: >>> Ping. BTW, this would make sure that you didn't set the launched state >>> of the VMCS12 too early. :-) >> This is commit c9186188afdfef17eba4f3331594fb6b61c0b285, isn't it?