--- pristine/xen-2.0-testing/xen/arch/x86/domain.c	2004-12-22 08:46:54.051924880 -0500
+++ edited/xen-2.0-testing/xen/arch/x86/domain.c	2004-12-22 09:32:30.531916688 -0500
@@ -57,7 +57,9 @@
         __sti();
 }
 
-void idle_loop(void)
+static void idle_loop(void) __attribute__ ((used));
+
+static void idle_loop(void)
 {
     int cpu = smp_processor_id();
     for ( ; ; )