bitkeeper revision 1.381 (3f27dc6enBi822WMgapFQKZqa0NdBA)

apic.h, setup.c:
  Fix NMI watchdog.

xen/arch/i386/setup.c

@@ -421,4 +421,6 @@ void __init start_of_day(void)
         barrier();
     }
 #endif
+
+    watchdog_on = 1;
 }

xen/include/asm-i386/apic.h

@@ -82,6 +82,8 @@ extern void enable_APIC_timer(void);
 //extern struct pm_dev *apic_pm_register(pm_dev_t, unsigned long, pm_callback);
 //extern void apic_pm_unregister(struct pm_dev*);
 
+extern unsigned int watchdog_on;
+
 extern unsigned int apic_timer_irqs [NR_CPUS];
 extern int check_nmi_watchdog (void);