1.1 --- a/xen/arch/x86/domain.c	Thu Apr 28 21:45:54 2005 +0000
     1.2 +++ b/xen/arch/x86/domain.c	Fri Apr 29 08:17:13 2005 +0000
     1.3 @@ -69,7 +69,7 @@ static void default_idle(void)
     1.4          local_irq_enable();
     1.5  }
     1.6  
     1.7 -static __attribute_used__ void idle_loop(void)
     1.8 +void idle_loop(void)
     1.9  {
    1.10      int cpu = smp_processor_id();
    1.11      for ( ; ; )
    1.12 @@ -91,7 +91,7 @@ static void __startup_cpu_idle_loop(stru
    1.13  
    1.14      /* Start normal idle loop. */
    1.15      ed->arch.schedule_tail = continue_idle_task;
    1.16 -    reset_stack_and_jump(idle_loop);
    1.17 +    continue_idle_task(ed);
    1.18  }
    1.19  
    1.20  void startup_cpu_idle_loop(void)