From: Jan Beulich Date: Mon, 7 Nov 2016 13:08:30 +0000 (+0100) Subject: x86/shutdown: add fall-through comment X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~113 X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=8a35a95615b1a64c98c30195f343bc2c58054d9d;p=xen.git x86/shutdown: add fall-through comment Coverity ID: 1362037 Signed-off-by: Jan Beulich Reviewed-by: Andrew Cooper Release-acked-by: Wei Liu --- 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++ )