Re: [PATCH 3/3] x86, NMI: knob to disable using NMI IPIs to stop cpus

Ingo Molnar
2011-10-12T07:30:09Z

* Don Zickus <dzickus@redhat.com> wrote:

> +int __init nonmi_ipi_setup(char *str)

can be static.

Looks fine otherwise.

Thanks,

Ingo