vmx: Make it clear that the VMEXIT reason is in hex.

Signed-off-by: Tim Deegan <tim@xen.org>
Acked-by: Keir Fraser <keir@xen.org>
Committed-by: Tim Deegan <tim@xen.org>

diff --git a/xen/arch/x86/hvm/vmx/vmx.c b/xen/arch/x86/hvm/vmx/vmx.c
index 61d1fda54d7f07707a1e57489e8066f507c4f3a6..18aef5b0dbd158ae6526aa09c5ef7c4b1c27f5d4 100644 (file)
--- a/xen/arch/x86/hvm/vmx/vmx.c
+++ b/xen/arch/x86/hvm/vmx/vmx.c
@@ -2720,7 +2720,7 @@ void vmx_vmexit_handler(struct cpu_user_regs *regs)
     /* fall through */
     default:
     exit_and_crash:
-        gdprintk(XENLOG_ERR, "Bad vmexit (reason %x)\n", exit_reason);
+        gdprintk(XENLOG_ERR, "Bad vmexit (reason %#x)\n", exit_reason);
         domain_crash(v->domain);
         break;
     }