1.1 --- a/xen/common/keyhandler.c	Mon Nov 01 15:36:18 2004 +0000
     1.2 +++ b/xen/common/keyhandler.c	Mon Nov 01 15:50:09 2004 +0000
     1.3 @@ -53,7 +53,7 @@ static void show_handlers(unsigned char 
     1.4  static void dump_registers(unsigned char key)
     1.5  {
     1.6      struct xen_regs *regs = (struct xen_regs *)get_execution_context();
     1.7 -    extern void show_registers(struct pt_regs *regs); 
     1.8 +    extern void show_registers(struct xen_regs *regs); 
     1.9      printk("'%c' pressed -> dumping registers\n", key); 
    1.10      show_registers(regs); 
    1.11  }