From: Philippe Mathieu-Daudé <phi...@redhat.com> Fixes: 812d49f2a3e Signed-off-by: Philippe Mathieu-Daudé <phi...@redhat.com> Acked-by: Paolo Bonzini <pbonz...@redhat.com> Reviewed-by: Dr. David Alan Gilbert <dgilb...@redhat.com> Reviewed-by: Juan Quintela <quint...@redhat.com> Message-Id: <20200218094402.26625-12-phi...@redhat.com> Signed-off-by: Laurent Vivier <laur...@vivier.eu> --- target/i386/whpx-all.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/target/i386/whpx-all.c b/target/i386/whpx-all.c index 3ed2aa1892a1..35601b81766f 100644 --- a/target/i386/whpx-all.c +++ b/target/i386/whpx-all.c @@ -511,7 +511,7 @@ static void whpx_get_registers(CPUState *cpu) /* WHvX64RegisterPat - Skipped */ assert(whpx_register_names[idx] == WHvX64RegisterSysenterCs); - env->sysenter_cs = vcxt.values[idx++].Reg64;; + env->sysenter_cs = vcxt.values[idx++].Reg64; assert(whpx_register_names[idx] == WHvX64RegisterSysenterEip); env->sysenter_eip = vcxt.values[idx++].Reg64; assert(whpx_register_names[idx] == WHvX64RegisterSysenterEsp); -- 2.24.1