vmx realmode: Slight finessing of an error path.

Signed-off-by: Keir Fraser <keir.fraser@citrix.com>

diff --git a/xen/arch/x86/hvm/vmx/realmode.c b/xen/arch/x86/hvm/vmx/realmode.c
index 17460bf0d8fa17013fccea95bee351d26bb71cda..2cbac31c54178c2c4b0a17d73fb4c5914cdf2a0d 100644 (file)
--- a/xen/arch/x86/hvm/vmx/realmode.c
+++ b/xen/arch/x86/hvm/vmx/realmode.c
@@ -523,14 +523,13 @@ void vmx_realmode(struct cpu_user_regs *regs)
 
         if ( rc == X86EMUL_UNHANDLEABLE )
         {
-            gdprintk(XENLOG_DEBUG,
+            gdprintk(XENLOG_ERR,
                      "Real-mode emulation failed @ %04x:%08lx: "
                      "%02x %02x %02x %02x %02x %02x\n",
                      rm_ctxt.seg_reg[x86_seg_cs].sel, rm_ctxt.insn_buf_eip,
                      rm_ctxt.insn_buf[0], rm_ctxt.insn_buf[1],
                      rm_ctxt.insn_buf[2], rm_ctxt.insn_buf[3],
                      rm_ctxt.insn_buf[4], rm_ctxt.insn_buf[5]);
-            gdprintk(XENLOG_ERR, "Emulation failed\n");
             domain_crash_synchronous();
         }
     }