1.1 --- a/xen/common/kexec.c	Thu Nov 30 15:41:35 2006 +0000
     1.2 +++ b/xen/common/kexec.c	Thu Nov 30 16:36:18 2006 +0000
     1.3 @@ -119,8 +119,6 @@ void machine_crash_kexec(void)
     1.4          image = &kexec_image[KEXEC_IMAGE_CRASH_BASE + pos];
     1.5          machine_kexec(image); /* Does not return */
     1.6      }
     1.7 -
     1.8 -    while (1); /* No image available - just spin */
     1.9  }
    1.10  
    1.11  static void do_crashdump_trigger(unsigned char key)