* Cyrill Gorcunov <gorcunov@gmail.com> wrote:

quoted text
> The checking 'if nmi_watchdog > 0' (ie NMI_NONE) is quite fast but it 
> has a side effect - it's taken even if nmi_watchdog = NMI_DISABLED.
> 
> Nowadays nmi_watchdog is set up to NMI_NONE by default so this 
> condition is properly taken most the time but we better show this 
> explicitly.

applied to tip/x86/nmi - thanks Cyrill.

	Ingo
--
unsubscribe notice
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/