2 files changed, 2 insertions, 2 deletions

diff --git a/arch/x86/kernel/apic_32.c b/arch/x86/kernel/apic_32.c
index 4932d7813bcd..b5571fb0f77e 100644
--- a/arch/x86/kernel/apic_32.c
+++ b/arch/x86/kernel/apic_32.c
@@ -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 */
diff --git a/arch/x86/kernel/apic_64.c b/arch/x86/kernel/apic_64.c
index 5279dc924381..8c751f731bca 100644
--- a/arch/x86/kernel/apic_64.c
+++ b/arch/x86/kernel/apic_64.c
@@ -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();
 }