diff options
Diffstat (limited to 'arch/x86/kernel/nmi_32.c')
-rw-r--r-- | arch/x86/kernel/nmi_32.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/arch/x86/kernel/nmi_32.c b/arch/x86/kernel/nmi_32.c index f5cc47c60b13..80ca72e5ac29 100644 --- a/arch/x86/kernel/nmi_32.c +++ b/arch/x86/kernel/nmi_32.c | |||
@@ -106,7 +106,8 @@ static int __init check_nmi_watchdog(void) | |||
106 | if (!per_cpu(wd_enabled, cpu)) | 106 | if (!per_cpu(wd_enabled, cpu)) |
107 | continue; | 107 | continue; |
108 | if (nmi_count(cpu) - prev_nmi_count[cpu] <= 5) { | 108 | if (nmi_count(cpu) - prev_nmi_count[cpu] <= 5) { |
109 | printk("CPU#%d: NMI appears to be stuck (%d->%d)!\n", | 109 | printk(KERN_WARNING "WARNING: CPU#%d: NMI " |
110 | "appears to be stuck (%d->%d)!\n", | ||
110 | cpu, | 111 | cpu, |
111 | prev_nmi_count[cpu], | 112 | prev_nmi_count[cpu], |
112 | nmi_count(cpu)); | 113 | nmi_count(cpu)); |