unsigned long long native_sched_clock(void);
 unsigned long native_calibrate_tsc(void);
+extern int recalibrate_cpu_khz(void);
 
-#ifdef CONFIG_X86_32
+#if defined(CONFIG_X86_32) && defined(CONFIG_X86_IO_APIC)
 extern int timer_ack;
+#else
+# define timer_ack (0)
 #endif
-extern int recalibrate_cpu_khz(void);
 
 extern int no_timer_check;
 
 
 #include <asm/time.h>
 #include <asm/nmi.h>
 
+#if defined(CONFIG_X86_32) && defined(CONFIG_X86_IO_APIC)
 int timer_ack;
+#endif
 
 unsigned long profile_pc(struct pt_regs *regs)
 {
        /* Keep nmi watchdog up to date */
        inc_irq_stat(irq0_irqs);
 
-#ifdef CONFIG_X86_IO_APIC
+       /* Optimized out for !IO_APIC and x86_64 */
        if (timer_ack) {
                /*
                 * Subtle, when I/O APICs are used we have to ack timer IRQ
                inb(PIC_MASTER_POLL);
                spin_unlock(&i8259A_lock);
        }
-#endif
 
        global_clock_event->event_handler(global_clock_event);
 
 
 {
        inc_irq_stat(irq0_irqs);
 
+       /* Optimized out for !IO_APIC and x86_64 */
+       if (timer_ack) {
+               /*
+                * Subtle, when I/O APICs are used we have to ack timer IRQ
+                * manually to deassert NMI lines for the watchdog if run
+                * on an 82489DX-based system.
+                */
+               spin_lock(&i8259A_lock);
+               outb(0x0c, PIC_MASTER_OCW3);
+               /* Ack the IRQ; AEOI will end it automatically. */
+               inb(PIC_MASTER_POLL);
+               spin_unlock(&i8259A_lock);
+       }
+
        global_clock_event->event_handler(global_clock_event);
 
 #ifdef CONFIG_MCA