On Thu, Aug 23, 2018 at 9:26 AM, Paolo Bonzini <pbonzini@xxxxxxxxxx> wrote: > On 23/08/2018 18:24, Vitaly Kuznetsov wrote: >> nested_run_pending is set 20 lines above and check_vmentry_prereqs()/ >> check_vmentry_postreqs() don't seem to be resetting it (the later, however, >> checks it). >> >> Signed-off-by: Vitaly Kuznetsov <vkuznets@xxxxxxxxxx> > Reviewed-by: Paolo Bonzini <pbonzini@xxxxxxxxxx> Reviewed-by: Jim Mattson <jmattson@xxxxxxxxxx>