diff --git a/xen/drivers/char/console.c b/xen/drivers/char/console.c
index f4864f5744..e2fa7efc26 100644
--- a/xen/drivers/char/console.c
+++ b/xen/drivers/char/console.c
@@ -280,6 +280,7 @@ static void serial_rx(unsigned char c, struct xen_regs *regs)
         {
             switch_serial_input();
             switch_code_count = 0;
+            return;
         }
     }
     else