1.1 --- a/xen/arch/x86/setup.c	Thu Oct 23 15:38:27 2008 +0100
     1.2 +++ b/xen/arch/x86/setup.c	Thu Oct 23 15:38:52 2008 +0100
     1.3 @@ -969,6 +969,7 @@ void __init __start_xen(unsigned long mb
     1.4      serial_init_postirq();
     1.5  
     1.6      BUG_ON(!local_irq_is_enabled());
     1.7 +    spin_debug_enable();
     1.8  
     1.9      for_each_present_cpu ( i )
    1.10      {
    1.11 @@ -1059,8 +1060,6 @@ void __init __start_xen(unsigned long mb
    1.12                          cmdline) != 0)
    1.13          panic("Could not set up DOM0 guest OS\n");
    1.14  
    1.15 -    spin_debug_enable();
    1.16 -
    1.17      /* Scrub RAM that is still free and so may go to an unprivileged domain. */
    1.18      scrub_heap_pages();
    1.19