During the recent MSR handling cleanup, the '0' format modifier got
lost.

Signed-off-by: Jan Beulich <jbeulich@xxxxxxxxxx>

--- 2010-06-15.orig/xen/arch/x86/traps.c	2010-06-15 12:22:11.000000000 +0200
+++ 2010-06-15/xen/arch/x86/traps.c	2010-06-15 12:14:28.000000000 +0200
@@ -2296,7 +2296,7 @@ static int emulate_privileged_op(struct 
                  (eax != (uint32_t)val) || (edx != (uint32_t)(val >> 32)) )
         invalid:
                 gdprintk(XENLOG_WARNING, "Domain attempted WRMSR %p from "
-                        "0x%16"PRIx64" to 0x%16"PRIx64".\n",
+                        "0x%016"PRIx64" to 0x%016"PRIx64".\n",
                         _p(regs->ecx), val, msr_content);
             break;
         }