1.1 --- a/xen/arch/x86/hvm/vmx/realmode.c	Mon Nov 26 22:20:21 2007 +0000
     1.2 +++ b/xen/arch/x86/hvm/vmx/realmode.c	Mon Nov 26 22:28:48 2007 +0000
     1.3 @@ -523,14 +523,13 @@ void vmx_realmode(struct cpu_user_regs *
     1.4  
     1.5          if ( rc == X86EMUL_UNHANDLEABLE )
     1.6          {
     1.7 -            gdprintk(XENLOG_DEBUG,
     1.8 +            gdprintk(XENLOG_ERR,
     1.9                       "Real-mode emulation failed @ %04x:%08lx: "
    1.10                       "%02x %02x %02x %02x %02x %02x\n",
    1.11                       rm_ctxt.seg_reg[x86_seg_cs].sel, rm_ctxt.insn_buf_eip,
    1.12                       rm_ctxt.insn_buf[0], rm_ctxt.insn_buf[1],
    1.13                       rm_ctxt.insn_buf[2], rm_ctxt.insn_buf[3],
    1.14                       rm_ctxt.insn_buf[4], rm_ctxt.insn_buf[5]);
    1.15 -            gdprintk(XENLOG_ERR, "Emulation failed\n");
    1.16              domain_crash_synchronous();
    1.17          }
    1.18      }