1.1 --- a/xen/arch/x86/setup.c	Mon Jan 09 19:44:30 2006 +0100
     1.2 +++ b/xen/arch/x86/setup.c	Mon Jan 09 19:46:46 2006 +0100
     1.3 @@ -165,9 +165,8 @@ void __init __start_xen(multiboot_info_t
     1.4      if ( (mbi->flags & MBI_CMDLINE) && (mbi->cmdline != 0) )
     1.5          cmdline_parse(__va(mbi->cmdline));
     1.6  
     1.7 -    /* Must do this early -- e.g., spinlocks rely on get_current(). */
     1.8 -    set_current(NULL/*idle_vcpu[0]*/);
     1.9 -    set_processor_id(0);
    1.10 +    set_current((struct vcpu *)0xfffff000); /* debug sanity */
    1.11 +    set_processor_id(0); /* needed early, for smp_processor_id() */
    1.12  
    1.13      smp_prepare_boot_cpu();
    1.14