On Mon, Nov 07, 2016 at 02:26:11AM -0700, Jan Beulich wrote:
> Coverity ID: 1362037
>
> Signed-off-by: Jan Beulich <jbeul...@suse.com>
>
> --- a/xen/arch/x86/shutdown.c
> +++ b/xen/arch/x86/shutdown.c
> @@ -541,6 +541,7 @@ void machine_restart(unsigned int delay_
> {
> case BOOT_INVALID:
> ASSERT_UNREACHABLE();
> + /* fall through */
> case BOOT_KBD:
> /* Pulse the keyboard reset line. */
> for ( i = 0; i < 100; i++ )
>
>
>
> x86/shutdown: add fall-through comment
>
> Coverity ID: 1362037
>
> Signed-off-by: Jan Beulich <jbeul...@suse.com>
Release-acked-by: Wei Liu <wei.l...@citrix.com>
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel
