debuggers.hg

changeset 20008:6c8964bbde24

x86 mce: Fix formatting in a couple of printks.

Signed-off-by: Christoph Egger <Christoph.Egger@amd.com>
author Keir Fraser <keir.fraser@citrix.com>
date Wed Jul 22 14:03:32 2009 +0100 (2009-07-22)
parents 6e8f7f2a8f38
children 4fc621f62ed1
files xen/arch/x86/cpu/mcheck/mce.c
line diff
     1.1 --- a/xen/arch/x86/cpu/mcheck/mce.c	Wed Jul 22 14:02:36 2009 +0100
     1.2 +++ b/xen/arch/x86/cpu/mcheck/mce.c	Wed Jul 22 14:03:32 2009 +0100
     1.3 @@ -798,7 +798,7 @@ int mce_wrmsr(u32 msr, u64 value)
     1.4      case MSR_IA32_MCG_CTL:
     1.5          if ( value && (value + 1) )
     1.6          {
     1.7 -            gdprintk(XENLOG_WARNING, "MCE: value written to MCG_CTL"
     1.8 +            gdprintk(XENLOG_WARNING, "MCE: value written to MCG_CTL "
     1.9                       "should be all 0s or 1s\n");
    1.10              ret = -1;
    1.11              break;
    1.12 @@ -847,7 +847,7 @@ int mce_wrmsr(u32 msr, u64 value)
    1.13          case MSR_IA32_MC0_CTL:
    1.14              if ( value && (value + 1) )
    1.15              {
    1.16 -                gdprintk(XENLOG_WARNING, "MCE: value written to MC%u_CTL"
    1.17 +                gdprintk(XENLOG_WARNING, "MCE: value written to MC%u_CTL "
    1.18                           "should be all 0s or 1s (is %"PRIx64")\n",
    1.19                           bank, value);
    1.20                  ret = -1;