diff --git a/xen/common/keyhandler.c b/xen/common/keyhandler.c
index 8ddfa95db9..9b4d6b7f12 100644
--- a/xen/common/keyhandler.c
+++ b/xen/common/keyhandler.c
@@ -87,6 +87,7 @@ static void dump_registers(unsigned char key, struct cpu_user_regs *regs)
     unsigned int cpu;
 
     /* We want to get everything out that we possibly can. */
+    watchdog_disable();
     console_start_sync();
 
     printk("'%c' pressed -> dumping registers\n", key);
@@ -106,6 +107,7 @@ static void dump_registers(unsigned char key, struct cpu_user_regs *regs)
     printk("\n");
 
     console_end_sync();
+    watchdog_enable();
 }
 
 static struct keyhandler dump_registers_keyhandler = {