1.1 --- a/xen/common/keyhandler.c	Thu Jun 12 16:18:31 2008 +0100
     1.2 +++ b/xen/common/keyhandler.c	Thu Jun 12 16:34:25 2008 +0100
     1.3 @@ -105,6 +105,9 @@ static void dump_registers(unsigned char
     1.4  {
     1.5      unsigned int cpu;
     1.6  
     1.7 +    /* We want to get everything out that we possibly can. */
     1.8 +    console_start_sync();
     1.9 +
    1.10      printk("'%c' pressed -> dumping registers\n", key);
    1.11  
    1.12      /* Get local execution state out immediately, in case we get stuck. */
    1.13 @@ -120,6 +123,8 @@ static void dump_registers(unsigned char
    1.14      }
    1.15  
    1.16      printk("\n");
    1.17 +
    1.18 +    console_end_sync();
    1.19  }
    1.20  
    1.21  static void halt_machine(unsigned char key, struct cpu_user_regs *regs)