(no commit message)

diff --git a/xen/arch/x86/pv/emul-priv-op.c b/xen/arch/x86/pv/emul-priv-op.c
index e24b84f46aa6d789fb0f2815b50a26d81be56545..c1b88c8212e36dd9782b3bea12471cf7ea11f11b 100644 (file)
--- a/xen/arch/x86/pv/emul-priv-op.c
+++ b/xen/arch/x86/pv/emul-priv-op.c
@@ -1108,9 +1108,9 @@ static int write_msr(unsigned int reg, uint64_t val,
 
         if ( (rdmsr_safe(reg, temp) != 0) || (val != temp) )
     invalid:
-            gdprintk(XENLOG_WARNING,
+            /*gdprintk(XENLOG_WARNING,
                      "Domain attempted WRMSR %08x from 0x%016"PRIx64" to 0x%016"PRIx64"\n",
-                     reg, temp, val);
+                     reg, temp, val);*/
         return X86EMUL_OKAY;
     }