From 8a35a95615b1a64c98c30195f343bc2c58054d9d Mon Sep 17 00:00:00 2001
From: Jan Beulich <jbeulich@suse.com>
Date: Mon, 7 Nov 2016 14:08:30 +0100
Subject: [PATCH] x86/shutdown: add fall-through comment

Coverity ID: 1362037

Signed-off-by: Jan Beulich <jbeulich@suse.com>
Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
Release-acked-by: Wei Liu <wei.liu2@citrix.com>
---
 xen/arch/x86/shutdown.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/xen/arch/x86/shutdown.c b/xen/arch/x86/shutdown.c
index 0e1499d056..cb2442a775 100644
--- a/xen/arch/x86/shutdown.c
+++ b/xen/arch/x86/shutdown.c
@@ -541,6 +541,7 @@ void machine_restart(unsigned int delay_millisecs)
         {
         case BOOT_INVALID:
             ASSERT_UNREACHABLE();
+            /* fall through */
         case BOOT_KBD:
             /* Pulse the keyboard reset line. */
             for ( i = 0; i < 100; i++ )
-- 
2.30.2