>>> On 05.02.18 at 22:18, <igor.druzhi...@citrix.com> wrote: > --- a/xen/arch/x86/nmi.c > +++ b/xen/arch/x86/nmi.c > @@ -34,7 +34,8 @@ > #include <asm/apic.h> > > unsigned int nmi_watchdog = NMI_NONE; > -static unsigned int nmi_hz = HZ; > +/* initial watchdog frequency - shouldn't be too high to avoid boot hangs */ > +static unsigned int nmi_hz = HZ / 10;
For one - the comment should explain what "too high" means. Further - what if on another system 10Hz is still too high? I also hope you realize that you slow down boot a little for everyone just because of this one machine model. Can the lower frequency perhaps be set via DMI quirk, or otherwise obtain a command line override (perhaps something like "watchdog=probe:10Hz")? Jan _______________________________________________ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel
