From: Borislav Petkov <b...@suse.de>

The MSR address we're dumping in there should be in hex, otherwise we
get funsies like:

[    0.016000] WARNING: CPU: 1 PID: 0 at arch/x86/kernel/cpu/mcheck/mce.c:428 
mce_rdmsrl+0xd9/0xe0
[    0.016000] mce: Unable to read msr -1073733631!
                                       ^^^^^^^^^^^

Signed-off-by: Borislav Petkov <b...@suse.de>
---
 arch/x86/kernel/cpu/mcheck/mce.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/arch/x86/kernel/cpu/mcheck/mce.c b/arch/x86/kernel/cpu/mcheck/mce.c
index 16aebe737cae..2f7bb1f075c2 100644
--- a/arch/x86/kernel/cpu/mcheck/mce.c
+++ b/arch/x86/kernel/cpu/mcheck/mce.c
@@ -425,7 +425,7 @@ static u64 mce_rdmsrl(u32 msr)
        }
 
        if (rdmsrl_safe(msr, &v)) {
-               WARN_ONCE(1, "mce: Unable to read msr %d!\n", msr);
+               WARN_ONCE(1, "mce: Unable to read msr 0x%x!\n", msr);
                /*
                 * Return zero in case the access faulted. This should
                 * not happen normally but can happen if the CPU does
-- 
2.7.3

Reply via email to