tree bbe5d70146773045171567b33bc951028c96c112
parent 7d007d21e539dbecb6942c5734e6649f720982cf
author Don Zickus <dzickus@redhat.com> 1336761675 -0400
committer Ingo Molnar <mingo@kernel.org> 1336988978 +0200

x86/reboot: Update nonmi_ipi parameter

Update the nonmi_ipi parameter to reflect the simple change
instead of the previous complicated one.  There should be less
of a need to use it but there may still be corner cases on older
hardware that stumble into NMI issues.

Signed-off-by: Don Zickus <dzickus@redhat.com>
Cc: Peter Zijlstra <peterz@infradead.org>
Link: http://lkml.kernel.org/r/1336761675-24296-4-git-send-email-dzickus@redhat.com
Signed-off-by: Ingo Molnar <mingo@kernel.org>