1.1 --- a/xen/arch/i386/setup.c	Wed Jul 30 14:51:12 2003 +0000
     1.2 +++ b/xen/arch/i386/setup.c	Wed Jul 30 14:55:42 2003 +0000
     1.3 @@ -421,4 +421,6 @@ void __init start_of_day(void)
     1.4          barrier();
     1.5      }
     1.6  #endif
     1.7 +
     1.8 +    watchdog_on = 1;
     1.9  }

     2.1 --- a/xen/include/asm-i386/apic.h	Wed Jul 30 14:51:12 2003 +0000
     2.2 +++ b/xen/include/asm-i386/apic.h	Wed Jul 30 14:55:42 2003 +0000
     2.3 @@ -82,6 +82,8 @@ extern void enable_APIC_timer(void);
     2.4  //extern struct pm_dev *apic_pm_register(pm_dev_t, unsigned long, pm_callback);
     2.5  //extern void apic_pm_unregister(struct pm_dev*);
     2.6  
     2.7 +extern unsigned int watchdog_on;
     2.8 +
     2.9  extern unsigned int apic_timer_irqs [NR_CPUS];
    2.10  extern int check_nmi_watchdog (void);
    2.11