x86: nmi_watchdog - use nmi_watchdog variable for printing
authorCyrill Gorcunov <gorcunov@gmail.com>
Tue, 24 Jun 2008 20:52:04 +0000 (22:52 +0200)
committerIngo Molnar <mingo@elte.hu>
Tue, 8 Jul 2008 10:51:39 +0000 (12:51 +0200)
Since it is possible NMI_ definitions could be changed
one day we better print out real nmi_watchdog value instead
of constant string.

Signed-off-by: Cyrill Gorcunov <gorcunov@gmail.com>
Cc: macro@linux-mips.org
Signed-off-by: Ingo Molnar <mingo@elte.hu>
arch/x86/kernel/apic_32.c
arch/x86/kernel/apic_64.c

index 4932d7813bcde555079e6465dcfd24bfafd1e9ba..b5571fb0f77ee9b64858e5f60fbfc73979de38fc 100644 (file)
@@ -550,7 +550,7 @@ void __init setup_boot_APIC_clock(void)
                        lapic_clockevent.features &= ~CLOCK_EVT_FEAT_DUMMY;
                else
                        printk(KERN_WARNING "APIC timer registered as dummy,"
-                              " due to nmi_watchdog=1!\n");
+                               " due to nmi_watchdog=%d!\n", nmi_watchdog);
        }
 
        /* Setup the lapic or request the broadcast */
index 5279dc92438176744a270eba3a99a43b76a39d51..8c751f731bca9fb6173b6bd4317ae6bf91d45632 100644 (file)
@@ -417,7 +417,7 @@ void __init setup_boot_APIC_clock(void)
                lapic_clockevent.features &= ~CLOCK_EVT_FEAT_DUMMY;
        else
                printk(KERN_WARNING "APIC timer registered as dummy,"
-                      " due to nmi_watchdog=1!\n");
+                       " due to nmi_watchdog=%d!\n", nmi_watchdog);
 
        setup_APIC_timer();
 }