1.1 --- a/xen/arch/x86/nmi.c	Mon Mar 06 15:04:18 2006 +0100
     1.2 +++ b/xen/arch/x86/nmi.c	Mon Mar 06 15:30:12 2006 +0100
     1.3 @@ -322,15 +322,9 @@ void __pminit setup_apic_nmi_watchdog(vo
     1.4      case X86_VENDOR_INTEL:
     1.5          switch (boot_cpu_data.x86) {
     1.6          case 6:
     1.7 -            if (boot_cpu_data.x86_model > 0xd)
     1.8 -                return;
     1.9 -
    1.10              setup_p6_watchdog();
    1.11              break;
    1.12          case 15:
    1.13 -            if (boot_cpu_data.x86_model > 0x4)
    1.14 -                return;
    1.15 -
    1.16              if (!setup_p4_watchdog())
    1.17                  return;
    1.18              break;